The Relationship of Derivations in Artificial Languages to Ordinary Rigorous Mathematical Proof†.
- Published in:
- Philosophia Mathematica, 2013, v. 21, n. 2, p. 247, doi. 10.1093/philmat/nkt007
- By:
- Publication type:
- Article
Works matching IS 00318019 AND DT 2013 AND VI 21 AND IP 2
Results: 9
1
2
Structured Variables.
- Published in:
- Philosophia Mathematica, 2013, v. 21, n. 2, p. 220, doi. 10.1093/philmat/nkt013
- By:
- Publication type:
- Article
3
David Hilbert. David Hilbert's lectures on the foundations of geometry, 1891–1902. Michael Hallett and Ulrich Majer, eds. David Hilbert's Foundational Lectures; 1. Berlin: Springer-Verlag, 2004. ISBN 3-540-64373-7. Pp. xxviii + 661†.
- Published in:
- 2013
- By:
- Publication type:
- Book Review
4
Variable, Structure, and Restricted Generality†.
- Published in:
- Philosophia Mathematica, 2013, v. 21, n. 2, p. 200, doi. 10.1093/philmat/nks035
- By:
- Publication type:
- Article
5
Introduction: Logicism Today.
- Published in:
- Philosophia Mathematica, 2013, v. 21, n. 2, p. 129, doi. 10.1093/philmat/nkt018
- By:
- Publication type:
- Article
6
Enlarging One's Stall or How Did All of These Sets Get in Here?†.
- Published in:
- Philosophia Mathematica, 2013, v. 21, n. 2, p. 157, doi. 10.1093/philmat/nks024
- By:
- Publication type:
- Article
7
Mircea Pitici, ed. The Best Writing on Mathematics 2011.
- Published in:
- Philosophia Mathematica, 2013, v. 21, n. 2, p. 277, doi. 10.1093/philmat/nkt002
- Publication type:
- Article
8
Zermelo and Russell's Paradox: Is There a Universal set?
- Published in:
- Philosophia Mathematica, 2013, v. 21, n. 2, p. 180, doi. 10.1093/philmat/nks027
- By:
- Publication type:
- Article
9
Properties and the Interpretation of Second-Order Logic†.
- Published in:
- Philosophia Mathematica, 2013, v. 21, n. 2, p. 133, doi. 10.1093/philmat/nks016
- By:
- Publication type:
- Article