Skip to content

Course in Mathematical Logic for Mathematicians

Best in textbook rentals since 2012!

ISBN-10: 1441906142

ISBN-13: 9781441906144

Edition: 2nd 2010

Authors: Yu. I. Manin, B. Zilber, Neal Koblitz

List price: $53.99
Shipping box This item qualifies for FREE shipping.
Blue ribbon 30 day, 100% satisfaction guarantee!
what's this?
Rush Rewards U
Members Receive:
Carrot Coin icon
XP icon
You have reached 400 XP and carrot coins. That is the daily max!

Description:

The book starts with an elementary introduction to formal languages appealing to the intuition of working mathematicians and unencumbered by philosophical or normative prejudices such as those of constructivism or intuitionism. It proceeds to the Proof Theory and presents several highlights of Mathematical Logic of 20th century: Gödel's and Tarski's Theorems, Cohen's Theorem on the independence of Continuum Hypothesis. Unusual for books on logic is a section dedicated to quantum logic.Then the exposition moves to the Computability Theory, based on the notion of recursive functions and stressing number{theoretic connections. A complete proof of Davis{Putnam{Robinson{Matiyasevich theorem is…    
Customers also bought

Book details

List price: $53.99
Edition: 2nd
Copyright year: 2010
Publisher: Springer New York
Publication date: 10/30/2009
Binding: Hardcover
Pages: 384
Size: 6.10" wide x 9.25" long x 0.75" tall
Weight: 1.584
Language: English

Boris Zilber is Professor of Mathematical Logic in the Mathematical Institute at the University of Oxford.