Internal Logic: Foundations of Mathematics from Kronecker to Hilbert: 310 (Synthese Library, 310) - Image 1

£75.28

Springer Internal Logic: Foundations of Mathematics from Kronecker to Hilbert: 310 (Synthese Library, 310)

Name: Internal Logic: Foundations of Mathematics from Kronecker to Hilbert: 310 (Synthese Library, 310)
Brand: Springer
Price: 75.28 GBP
Availability: InStock

Philosophy of Science

About as cheap as it gets. The only time it was cheaper was 3 months ago.

£75 today · all-time low £73 (May 2026) · usually £75

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 77 days · 77 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 77 days • 3 price levels

Days at Price

Current Price

Price Analysis

Most common price: £73 (40 days, 51.9%)

Price range: £73 - £76

Price levels: 3 different prices over 77 days

Description

Internal logic is the logic of content. The content is here arithmetic and the emphasis is on a constructive logic of arithmetic (arithmetical logic). Kronecker's general arithmetic of forms (polynomials) together with Fermat's infinite descent is put to use in an internal consistency proof. The view is developed in the context of a radical arithmetization of mathematics and logic and covers the many-faceted heritage of Kronecker's work, which includes not only Hilbert, but also Frege, Cantor, Dedekind, Husserl and Brouwer. The book will be of primary interest to logicians, philosophers and mathematicians interested in the foundations of mathematics and the philosophical implications of constructivist mathematics. It may also be of interest to historians, since it covers a fifty-year period, from 1880 to 1930, which has been crucial in the foundational debates and their repercussions on the contemporary scene.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 9048160529
Category: Books > Subjects > Science, Nature & Maths > History & Philosophy > Philosophy of Science
Domain: Amazon UK
Release Date: 09 December 2010
Listed Since: 20 September 2010

Barcode

No barcode data available

Springer Internal Logic: Foundations of Mathematics from Kronecker to Hilbert: 310 (Synthese Library, 310)

About as cheap as it gets. The only time it was cheaper was 3 months ago.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Essays on Husserl's Logic and Philosophy of Mathematics: 384 (Synthese Library, 384)

Visualization, Explanation and Reasoning Styles in Mathematics: 327 (Synthese Library, 327)

Selected Papers in Logic and Foundations, Didactics, Economics: 10 (Vienna Circle Collection, 10)

The Argument of Mathematics: 30 (Logic, Epistemology, and the Unity of Science, 30)

Strict Finitism and the Logic of Mathematical Applications: 355 (Synthese Library, 355)

Mathematical Methods in Linguistics: 30 (Studies in Linguistics and Philosophy, 30)

Protoalgebraic Logics: 10 (Trends in Logic, 10)

Language, Truth and Logic in Mathematics: 3 (Jaakko Hintikka Selected Papers, 3)

From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931 (Source Books in the History of the Sciences)

Logics for Computer Science: Classical and Non-Classical

Quantifiers: Logics, Models and Computation: Volume Two: Contributions: 249 (Synthese Library, 249)

Introduction to Annotated Logics: Foundations for Paracomplete and Paraconsistent Reasoning: 88 (Intelligent Systems Reference Library, 88)

Introduction to Annotated Logics: Foundations for Paracomplete and Paraconsistent Reasoning: 88 (Intelligent Systems Reference Library, 88)

Founding Mathematics on Semantic Conventions: 446 (Synthese Library, 446)

Origins and Varieties of Logicism: On the Logico-Philosophical Foundations of Mathematics (Routledge Studies in the Philosophy of Mathematics and Physics)

Between Logic and Reality: Modeling Inference, Action and Understanding: 25 (Logic, Epistemology, and the Unity of Science, 25)

Topics in Philosophical Logic: 17 (Synthese Library, 17)

Foundational Theories of Classical and Constructive Mathematics: 76 (The Western Ontario Series in Philosophy of Science, 76)

Topics in Philosophical Logic: 17 (Synthese Library, 17)

Advances in Proof Theory: 28 (Progress in Computer Science and Applied Logic, 28)

Epistemology versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf: 27 (Logic, Epistemology, and the Unity of Science, 27)

Logic for Concurrency and Synchronisation: 18 (Trends in Logic, 18)

Reference, Truth and Conceptual Schemes: A Defense of Internal Realism: 296 (Synthese Library, 296)

Reference, Truth and Conceptual Schemes: A Defense of Internal Realism: 296 (Synthese Library, 296)