Non-Fiction Books:

Mathematical Logic

Sorry, this product is not currently available to order

Here are some other products you might consider...

Mathematical Logic

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!
Unavailable
Sorry, this product is not currently available to order

Description

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 Fraisse's characterization of elementary equivalence, Lindstroem's theorem on the maximality of first-order logic, and the fundamentals of logic programming.
Release date NZ
December 12th, 2012
Audience
  • Professional & Vocational
Country of Publication
United States
Edition
2nd ed. 1994. Softcover reprint of the original 2nd ed. 1994
Illustrations
X, 291 p.
Imprint
Springer-Verlag New York Inc.
Pages
291
Publisher
Springer-Verlag New York Inc.
Dimensions
155x235x16
ISBN-13
9781475723571
Product ID
22347274

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Help & options

Filed under...