A Course in Mathematical Logic for Mathematicians: 53 (Graduate Texts in Mathematics, 53) - Image 1

£50.10

Springer A Course in Mathematical Logic for Mathematicians: 53 (Graduate Texts in Mathematics, 53)

Name: A Course in Mathematical Logic for Mathematicians: 53 (Graduate Texts in Mathematics, 53)
Brand: Springer
Price: 50.1 GBP
Availability: InStock

Mathematical Logic

This is the usual price. Wait for it to drop, or tell us your number.

£50 today · usual range £0–£0 · best ever £45

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 611 days • 611 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 611 days • 4 price levels

Days at Price

Current Price

Price Analysis

Most common price: £47 (534 days, 87.4%)

Price range: £45 - £54

Price levels: 4 different prices over 611 days

Description

1. The ?rst edition of this book was published in 1977. The text has been well received and is still used, although it has been out of print for some time. In the intervening three decades, a lot of interesting things have happened to mathematical logic: (i) Model theory has shown that insights acquired in the study of formal languages could be used fruitfully in solving old problems of conventional mathematics. (ii) Mathematics has been and is moving with growing acceleration from the set-theoretic language of structures to the language and intuition of (higher) categories, leaving behind old concerns about in?nities: a new view of foundations is now emerging. (iii) Computer science, a no-nonsense child of the abstract computability theory, has been creatively dealing with old challenges and providing new ones, such as the P/NP problem. Planning additional chapters for this second edition, I have decided to focus onmodeltheory,the conspicuousabsenceofwhichinthe ?rsteditionwasnoted in several reviews, and the theory of computation, including its categorical and quantum aspects. The whole Part IV: Model Theory, is new. I am very grateful to Boris I. Zilber, who kindly agreed to write it. It may be read directly after Chapter II. The contents of the ?rst edition are basically reproduced here as Chapters I–VIII. Section IV.7, on the cardinality of the continuum, is completed by Section IV.7.3, discussing H. Woodin’s discovery.

Product Specifications

Brand: Springer
Format: Hardcover
ASIN: 1441906142
Category: Books > Subjects > Science, Nature & Maths > Mathematics > Mathematical Foundations > Mathematical Logic
Domain: Amazon UK
Release Date: 30 October 2009
Listed Since: 11 September 2009

Barcode

No barcode data available

Springer A Course in Mathematical Logic for Mathematicians: 53 (Graduate Texts in Mathematics, 53)

This is the usual price. Wait for it to drop, or tell us your number.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Topics In Model Theory

Mathematical Logic: On Numbers, Sets, Structures, and Symmetry: 4 (Springer Graduate Texts in Philosophy, 4)

Kurt Gödel: The Princeton Lectures on Intuitionism (Sources and Studies in the History of Mathematics and Physical Sciences)

Kurt Gödel: The Princeton Lectures on Intuitionism (Sources and Studies in the History of Mathematics and Physical Sciences)

Lectures on Infinitary Model Theory: 46 (Lecture Notes in Logic, Series Number 46)

Introduction to Mathematical Logic: Extended Edition

MATHEMATICAL LOGIC OTIL PAPER: 3 (Oxford Texts in Logic)

An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)

Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)

Gödel's Incompleteness Theorems: A Guided Tour Through Kurt Gödel’s Historic Proof

Introduction to Model Theory: 15 (Algebra, Logic and Applications)

An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)

Godel's Way: Exploits into an undecidable world

Introduction to Mathematical Logic: Set Theory Computable Functions Model Theory (Undergraduate Texts in Mathematics)

Inexhaustibility: A Non-Exhaustive Treatment: Lecture Notes in Logic 16

Philosophical Logic: Current Trends in Asia: Proceedings of AWPL-TPLC 2016 (Logic in Asia: Studia Logica Library)

Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts: 407 (Synthese Library, 407)

Gödel's Incompleteness Theorems: 19 (Oxford Logic Guides)

Kurt Gödel: Results on Foundations (Sources and Studies in the History of Mathematics and Physical Sciences)

Meaning and Existence in Mathematics: 9 (LEP Library of Exact Philosophy, 9)

Logic and Structure (Universitext)

Routledge Origins and Varieties of Logicism - Philosophy Book

Semantical Investigations in Heyting's Intuitionistic Logic: 148 (Synthese Library, 148)

Philosophy and Model Theory