Extensions of First-Order Logic
Maria (Universitat de Barcelona) Manzano
Cambridge University Press, 2005
111,95 €On orderDelivery: 2-3 weeks
Classical logic has proved inadequate in various areas of computer science, artificial intelligence, mathematics, philosopy and linguistics. This is an introduction to extensions of first-order logic, based on the principle that many-sorted logic (MSL) provides a unifying framework in which to work.
- ISBN-13
- 9780521019026
- ISBN-10
- 0521019028
- Publisher
- Cambridge University Press
- Year
- 2005
- Publication date
- 2005-08-22
- Pages
- 412
- Dimensions
- 243x170x24
- Weight
- 704