| Mathematical Logic 1984. 2nd Print Edition Contributor(s): Ebbinghaus, H. -D (Author), Ferebee, A. S. (Translator), Flum, J. (Author) |
|
 |
ISBN: 0387961704 ISBN-13: 9780387961705 Publisher: Springer OUR PRICE: $29.45 Product Type: Paperback Published: July 1985 |
| Additional Information |
| BISAC Categories: - Mathematics | Logic |
| Dewey: 511.3 |
| Series: Undergraduate Texts in Mathematics |
| Physical Information: 216 pages |
| Descriptions, Reviews, Etc. |
| Publisher Description: 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. |