Mathematical Logic - Undergraduate Texts in Mathematics (Paperback)
  • Mathematical Logic - Undergraduate Texts in Mathematics (Paperback)
zoom

Mathematical Logic - Undergraduate Texts in Mathematics (Paperback)

(author), (author), (author)
£53.99
Paperback 291 Pages / Published: 12/12/2012
  • In stock online
  • Free UK delivery

Usually dispatched within 24 hours

  • This item has been added to your basket
Your local Waterstones may have stock of this item. Please check by using Click & Collect

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.

Publisher: Springer-Verlag New York Inc.
ISBN: 9781475723571
Number of pages: 291
Weight: 468 g
Dimensions: 235 x 155 x 16 mm
Edition: 2nd ed. 1994. Softcover reprint of the origin

You may also be interested in...

Logic
Added to basket
£10.99
Paperback
How to Prove It
Added to basket
Introducing Infinity
Added to basket
Alan Turing's Systems of Logic
Added to basket
Godel's Proof
Added to basket
£10.99
Paperback
Modern Logic
Added to basket
£77.99
Paperback
Measurements and their Uncertainties
Added to basket
An Introduction to Non-Classical Logic
Added to basket
Proof Theory
Added to basket
£17.99
Paperback
Sets, Logic and Categories
Added to basket
Logic for Dummies
Added to basket
£13.99
Paperback
Equation That Couldn't be Solved
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.