Mathematical Logic

Ebbinghaus, H. -D., Flum, J., Thomas, W.

ISBN 10: 0387908951 / ISBN 13: 9780387908953

Verlag: Springer, 1990

Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Bestandsnummer des Verkäufers 4110870-6

Inhaltsangabe:

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.

Bibliografische Details

Titel: Mathematical Logic
Verlag: Springer
Erscheinungsdatum: 1990
Einband: Hardcover
Zustand: Good