Mathematics and Natural Science | 0 | 0.34 | 1990 |
Topological models of epistemic set theory | 2 | 0.41 | 1990 |
Annual Meeting of the Association for Symbolic Logic, New York City, December 1987 | 0 | 0.34 | 1988 |
Intensions, Church's thesis, and the formalization of mathematics. | 2 | 0.47 | 1987 |
Flagg Realizability In Arithmetic | 3 | 0.57 | 1986 |
Replacement and Collection: A Correction | 0 | 0.34 | 1986 |
Replacement and Collection in Intuitionistic Set Theory | 1 | 0.63 | 1985 |
Epistemic Arithmetic Is A Conservative Extension Of Intuitionistic Arithmetic | 4 | 1.51 | 1984 |
The Logic of Contradiction | 15 | 1.44 | 1981 |
Relativized Realizability In Intuitionistic Arithmetic Of All Finite Types | 17 | 3.15 | 1978 |
The Nonconstructive Content of Sentences of Arithmetic | 0 | 0.34 | 1978 |
The Theory of the Godel Functionals | 2 | 0.53 | 1976 |
The Faithfulness of the Interpretation of Arithmetic in the Theory of Constructions | 5 | 1.30 | 1973 |
A simplification of combinatory Logic | 3 | 0.61 | 1972 |