Ihre Suche ergab 102 Treffer.
Treatise on Intuitionistic Type Theory
Produktform: Buch / Einband - fest (Hardcover)
Intuitionistic type theory can be described, somewhat boldly, as a fulfillment of the dream of a universal language for science. In particular, intuitionistic type theory is a foundation for mathematics and a programming language.
149,79 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Unity, Truth and the Liar
The Modern Relevance of Medieval Solutions to the Liar Paradox
Produktform: Buch / Einband - fest (Hardcover)
160,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Vague Objects and Vague Identity
New Essays on Ontic Vagueness
Produktform: Buch / Einband - flex.(Paperback)
106,99 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
The Argument of Mathematics
Produktform: Buch / Einband - fest (Hardcover)
This book presents a comprehensive investigation into the relationship between argumentation theory and the philosophy of mathematical practice. It offers large array of examples ranging from the history of mathematics to formal proof verification.
106,99 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Unifying the Philosophy of Truth
Produktform: Buch / Einband - fest (Hardcover)
106,99 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
160,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
The Nature of Truth
An updated approach to the meaning of truth ascriptions
Produktform: Buch / Einband - fest (Hardcover)
106,99 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Epistemology versus Ontology
Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf
Produktform: Buch / Einband - flex.(Paperback)
This book brings together philosophers, mathematicians and logicians to explore important problems in the philosophy and foundations of mathematics. Contrasts classical logic and set theory with predicativistic constructivism based on Martin-Löf type theory.
213,99 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Judgement and the Epistemic Foundation of Logic
Produktform: Buch / Einband - flex.(Paperback)
Opening with the insights of Swedish philosopher Per Martin-Löf, the father of constructive type theory, this exploration of the relationship between logic and knowledge re-affirms the key role that the notion of judgement must play in such a review.
106,99 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
The Realism-Antirealism Debate in the Age of Alternative Logics
Produktform: Buch / Einband - fest (Hardcover)
160,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage