Mathematical Logic
Author:   H.-D. Ebbinghaus ,  A. S. Ferebee ,  J. Flum ,  W. Thomas
Publisher:   Springer-Verlag New York Inc.
Edition:   1984. 2nd Printing 1985 ed.
ISBN:  

9780387961705


Pages:   216
Publication Date:   15 July 1985
Format:   Paperback
Availability:   Temporarily unavailable   Availability explained
The supplier advises that this item is temporarily unavailable. It will be ordered for you and placed on backorder. Once it does come back in stock, we will ship it out to you.

Our Price $81.84 Quantity:  
Add to Cart

Share |

Mathematical Logic


Add your own review!

Overview

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.

Full Product Details

Author:   H.-D. Ebbinghaus ,  A. S. Ferebee ,  J. Flum ,  W. Thomas
Publisher:   Springer-Verlag New York Inc.
Imprint:   Springer-Verlag New York Inc.
Edition:   1984. 2nd Printing 1985 ed.
ISBN:  

9780387961705


ISBN 10:   0387961704
Pages:   216
Publication Date:   15 July 1985
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Temporarily unavailable   Availability explained
The supplier advises that this item is temporarily unavailable. It will be ordered for you and placed on backorder. Once it does come back in stock, we will ship it out to you.

Table of Contents

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now