Summer Reading Sale
 
 

Recently Viewed clear list


Original Essays | July 22, 2014

Nick Harkaway: IMG The Florist-Assassins



The three men lit up in my mind's eye, with footnotes. They were converging on me — and on the object I was carrying — in a way that had... Continue »
  1. $18.87 Sale Hardcover add to wish list

    Tigerman

    Nick Harkaway 9780385352413

spacer

Mathematical Logic (Undergraduate Texts in Mathematics)

by

Mathematical Logic (Undergraduate Texts in Mathematics) Cover

 

Synopses & Reviews

Publisher Comments:

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 LindstrAm'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.

Product Details

ISBN:
9780387961705
Author:
Ebbinghaus, H. -d
Publisher:
Springer
Author:
Ebbinghaus, H.-D.
Subject:
Mathematics-Logic and Philosophy
Publication Date:
19850731
Binding:
TRADE PAPER
Language:
English

Related Subjects

Science and Mathematics » Mathematics » Foundations and Logic
Science and Mathematics » Mathematics » Logic and Philosophy

Mathematical Logic (Undergraduate Texts in Mathematics) New Trade Paper
0 stars - 0 reviews
$36.95 Backorder
Product details pages Springer - English 9780387961705 Reviews:
spacer
spacer
  • back to top
Follow us on...




Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.