Constructive Mathematics in Theory and Programming Practice.
- Published in:
- Philosophia Mathematica, 1999, v. 7, n. 1, p. 65, doi. 10.1093/philmat/7.1.65
- By:
- Publication type:
- Article
Works matching IS 00318019 AND DT 1999 AND VI 7 AND IP 1
Results: 7
1
2
Why Do We Prove Theorems?
- Published in:
- Philosophia Mathematica, 1999, v. 7, n. 1, p. 5, doi. 10.1093/philmat/7.1.5
- By:
- Publication type:
- Article
3
Do Not Claim Too Much: Second-order Logic and First-order Logic.
- Published in:
- Philosophia Mathematica, 1999, v. 7, n. 1, p. 42, doi. 10.1093/philmat/7.1.42
- By:
- Publication type:
- Article
4
Mathematical Proof.
- Published in:
- 1999
- By:
- Publication type:
- Obituary
5
Critical Studies / Book Reviews.
- Published in:
- 1999
- By:
- Publication type:
- Book Review
6
Critical Studies / Book Reviews.
- Published in:
- 1999
- By:
- Publication type:
- Book Review
7
Books of Essays.
- Published in:
- 1999
- Publication type:
- Table of Contents