Works matching IS 00318019 AND DT 2015 AND VI 23 AND IP 3
Results: 10
From Logic to Practice: Italian Studies in the Philosophy of Mathematics.
- Published in:
- 2015
- Publication type:
- Book Review
Essays on Gödel's Reception of Leibniz, Husserl, and Brouwer.
- Published in:
- 2015
- Publication type:
- Book Review
Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction.
- Published in:
- 2015
- By:
- Publication type:
- Book Review
Theory of Science. Volumes I-IV.
- Published in:
- 2015
- By:
- Publication type:
- Book Review
Necessary Beings: An Essay on Ontology, Modality, & the Relations Between Them.
- Published in:
- 2015
- By:
- Publication type:
- Book Review
Identity in Homotopy Type Theory, Part I: The Justification of Path Induction.
- Published in:
- Philosophia Mathematica, 2015, v. 23, n. 3, p. 386, doi. 10.1093/philmat/nkv014
- By:
- Publication type:
- Article
Mathematical Structuralism, Modal Nominalism, and the Coherence Principle.
- Published in:
- Philosophia Mathematica, 2015, v. 23, n. 3, p. 367, doi. 10.1093/philmat/nkv013
- By:
- Publication type:
- Article
The Representational Foundations of Computation.
- Published in:
- Philosophia Mathematica, 2015, v. 23, n. 3, p. 339, doi. 10.1093/philmat/nkv009
- By:
- Publication type:
- Article
When Do Some Things Form a Set?
- Published in:
- Philosophia Mathematica, 2015, v. 23, n. 3, p. 311, doi. 10.1093/philmat/nkv010
- By:
- Publication type:
- Article
A Problem with the Dependence of Informal Proofs on Formal Proofs.
- Published in:
- Philosophia Mathematica, 2015, v. 23, n. 3, p. 295, doi. 10.1093/philmat/nkv008
- By:
- Publication type:
- Article