Bibliographic Details
Title: Mathematical Logic, 2nd Edition (...
Publisher: Springer
Publication Date: 1994
Binding: Hardcover
Condition: very good
Edition: 2nd Edition
About this title
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.
"About this title" may belong to another edition of this title.
Store Description
Payment Methods
accepted by seller