Mathematical Logic
by H. -D Ebbinghaus and J. Flum and Wolfgang Thomas


Overview - 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.  Read more...

 
In Stock.

Item not eligible for special discounts or coupons.
This item is Non-Returnable.
Free Shipping is not available for this item.
 
> Check In-Store Availability

In-Store pricing may vary

 
 
New & Used Marketplace 11 copies from $45.31
 
 
 

More About Mathematical Logic by H. -D Ebbinghaus; J. Flum; Wolfgang Thomas
 
 
 
Overview
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.


This item is Non-Returnable.

 
Details
  • ISBN-13: 9780387942582
  • ISBN-10: 0387942580
  • Publisher: Springer
  • Publish Date: November 1996
  • Page Count: 291
  • Dimensions: 9.4 x 6.4 x 1 inches
  • Shipping Weight: 1.3 pounds

Series: Undergraduate Texts in Mathematics

Related Categories

Books > Mathematics > Logic

 
BAM Customer Reviews