Ihre Suche ergab 102 Treffer.
The Age of Alternative Logics
Assessing Philosophy of Logic and Mathematics Today
Produktform: E-Buch Text Elektronisches Buch in proprietärem
160,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
The Golden Age of Polish Philosophy
Kazimierz Twardowski's Philosophical Legacy
Produktform: E-Buch Text Elektronisches Buch in proprietärem
96,29 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
213,99 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Treatise on Intuitionistic Type Theory
Produktform: E-Buch Text Elektronisches Buch in proprietärem
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.
139,09 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Information and Knowledge
A Constructive Type-theoretical Approach
Produktform: E-Buch Text Elektronisches Buch in proprietärem
160,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Games: Unifying Logic, Language, and Philosophy
Produktform: E-Buch Text Elektronisches Buch in proprietärem
149,79 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Induction, Algorithmic Learning Theory, and Philosophy
Produktform: E-Buch Text Elektronisches Buch in proprietärem
149,79 € inkl. MwSt.
Recommended Retail Price
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: E-Buch Text Elektronisches Buch in proprietärem
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.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
From a Geometrical Point of View
A Study of the History and Philosophy of Category Theory
Produktform: E-Buch Text Elektronisches Buch in proprietärem
213,99 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
The Unity of Science in the Arabic Tradition
Science, Logic, Epistemology and their Interactions
Produktform: E-Buch Text Elektronisches Buch in proprietärem
287,83 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage