Good: Gently used may contain ex-library markings, possibly has some minor highlighting, textual notations, and or underlining. Text is still easily readable. N° de ref. de la librería
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.
Text: English (translation)
Original Language: German
Título: Mathematical Logic (Undergraduate Texts in ...
Condición del libro: GOOD
Descripción Springer, 1985. Paperback. Estado de conservación: Used: Good. This item is printed on demand. Nº de ref. de la librería SONG0387961704
Descripción Springer Verlag, 1984. paperback. Estado de conservación: Good. Out of print; cover very barely subbed/bumped/soiled, edges lightly rubbed, otherwise intact; edges very barely foxed/soiled; previous owner's bookplate on front endpaper, stamp on front endpaper, half-title and title pages, and page 49; binding tight; interior intact and clean except where noted. Nº de ref. de la librería 594425