Items related to Mathematical Logic (Undergraduate Texts in Mathematics)

Mathematical Logic (Undergraduate Texts in Mathematics) - Hardcover

Book 121 of 170: Undergraduate Texts in Mathematics

Ebbinghaus, H.-D.; Flum, J.; Thomas, Wolfgang

 
9780387942582: Mathematical Logic (Undergraduate Texts in Mathematics)
Hardcover
ISBN 10: 0387942580 ISBN 13: 9780387942582
Publisher: Springer-Verlag New York Inc., 1994

Synopsis

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.

"synopsis" may belong to another edition of this title.

From the Back Cover

The book starts with a thorough treatment of first-order logic and its role in the foundations of mathematics. It covers several advanced topics, not commonly treated in introductory texts, such as Trachtenbrot's undecidability theorem Fraisse's characterization of elementary equivalence, Lindstrom's theorem on the maximality of first-order logic, and the fundamentals of logic programming.

"About this title" may belong to another edition of this title.

Publisher
Springer-Verlag New York Inc.
Publication date
1994
Language
English
ISBN 10 
0387942580
ISBN 13 
9780387942582
Binding
Hardcover
Edition number
2
Number of pages
301