Mathematical Logic: Undergraduate Texts in Mathematics

Main
Mathematical Logic: Undergraduate Texts...

Mathematical Logic: Undergraduate Texts in Mathematics

Name: Mathematical Logic: Undergraduate Texts in Mathematics
ISBN: 9780387908953

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

0 / 5.0

0 comments

Πόσο σας άρεσε αυτό το βιβλίο;

Ποια είναι η ποιότητα του ληφθέντος αρχείου;

Κατεβάστε το βιβλίο για να αξιολογήσετε την ποιότητά του

Ποια είναι η ποιότητα των ληφθέντων αρχείων;

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.

Έτος:

1984

Έκδοση:

1st

Εκδότης:

Springer-Verlag

Γλώσσα:

english

Σελίδες:

216

ISBN 10:

0387908951