2nd Edition 1994th Softcover reprint of the original 2nd Edition 1994
Paperback (12 Dec 2012)
Not available for sale
Includes delivery to the United States
Out of stock
This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines. It covers several advanced topics not commonly treated in introductory texts, such as Fraïssé's characterization of elementary equivalence, Lindström's theorem on the maximality of first-order logic, and the fundamentals of logic programming.
| ISBN: | 9781475723571 |
| Publisher: | Springer New York |
| Imprint: | Springer |
| Pub date: | 12 Dec 2012 |
| Edition: | 2nd Edition 1994th Softcover reprint of the original 2nd Edition 1994 |
| Language: | English |
| Number of pages: | 291 |
| Weight: | 462g |
| Height: | 156mm |
| Width: | 234mm |
| Spine width: | 13mm |
$12.75off
Hardback
Published 05 Oct 2023
Save $12.75
$2.36off
Paperback
Published 14 Sep 2023
Save $2.36
