This careful, self-contained introduction to first-order logic includes an exposition of certain topics not usually found in introductory texts (such as Trachtenbrot's undecidability theorem, Fraisse's characterization of elementary equivalence, and Lindström's theorem on the maximality of first-order logic). The presentation is detailed and systematic without being long-winded or tedious. The role of first-order logic in the foundations of mathematics is worked out clearly, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines. Many exercises accompany the text.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
EUR 25,55 expédition depuis Etats-Unis vers France
Destinations, frais et délaisVendeur : Row By Row Bookshop, Sugar Grove, NC, Etats-Unis
Trade Paperback. Etat : Very Good. Etat de la jaquette : No Dust Jacket. First U.S. Edition. A Very Good copy in yellow psaper covers. Small soil spot at the foredge, else close to as new. Book. N° de réf. du vendeur 054377
Quantité disponible : 1 disponible(s)
Vendeur : Pella Books, Pella, IA, Etats-Unis
Trade Paperback. Etat : Used Very Good. N° de réf. du vendeur 236293
Quantité disponible : 1 disponible(s)
Vendeur : Mahler Books, PFLUGERVILLE, TX, Etats-Unis
Paperback. Etat : Very Good. This book is in very good condition; no remainder marks. It does have some cover shelfwear. Inside pages are clean. ; Undergraduate Texts In Mathematics; 225 pages. N° de réf. du vendeur 12GW21-490-313
Quantité disponible : 1 disponible(s)
Vendeur : HPB-Movies, Dallas, TX, Etats-Unis
paperback. Etat : Very Good. Connecting readers with great books since 1972! Used books may not include companion materials, and may have some shelf wear or limited writing. We ship orders daily and Customer Service is our top priority! N° de réf. du vendeur S_448461911
Quantité disponible : 1 disponible(s)