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

£72.77

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 1 month ago.

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

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 90 days • 90 data points

Historical

Generating forecast...

Price Distribution

Price distribution over 90 days • 3 price levels

Days at Price

Current Price

Price Analysis

Most common price: £75 (49 days, 54.4%)

Price range: £73 - £76

Price levels: 3 different prices over 90 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 1 month ago.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

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

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)

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)

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)

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)

The Semantics and Proof Theory of the Logic of Bunched Implications: 26 (Applied Logic Series, 26)

Philosophical Logic and Logical Philosophy: 257 (Synthese Library, 257)

Constructive Approximation: 303 (Grundlehren der mathematischen Wissenschaften, 303)

Philosophical Dimensions of Logic and Science: Selected Contributed Papers from the 11th International Congress of Logic, Methodology, and Philosophy ... Kraków, 1999: 320 (Synthese Library, 320)

Mathesis Universalis, Computability and Proof: 412 (Synthese Library, 412)

The Logic of Intentional Objects: A Meinongian Version of Classical Logic: 269 (Synthese Library, 269)

Axiomatic Formal Ontology: 264 (Synthese Library, 264)

Explanation and Proof in Mathematics: Philosophical and Educational Perspectives

Set Theory of the Continuum: 26 (Mathematical Sciences Research Institute Publications, 26)

Philosophy and Logic In Search of the Polish Tradition: Essays in Honour of Jan Woleński on the Occasion of his 60th Birthday: 323 (Synthese Library, 323)

Proof Methods for Modal and Intuitionistic Logics: 169 (Synthese Library, 169)

Proof, Computation and Agency: Logic at the Crossroads: 352 (Synthese Library, 352)

Hidden Harmony―Geometric Fantasies: The Rise of Complex Function Theory (Sources and Studies in the History of Mathematics and Physical Sciences)