13 results
R. E. Davis. Truth, deduction, and computation. Logic and semantics for computer science. Principles of computer science series. Computer Science Press, New York1989, xv + 265 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 2 / June 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 760-761
- Print publication:
- June 1992
-
- Article
- Export citation
Mathematics as natural science
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 1 / March 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 182-193
- Print publication:
- March 1990
-
- Article
- Export citation
Errett Bishop and Douglas Bridges. Constructive analysis. Grundlehren der mathematischen Wissenschaften, no. 279. Springer-Verlag, Berlin, Heidelberg, New York, and Tokyo, 1985, xii + 477 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 4 / December 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1047-1048
- Print publication:
- December 1987
-
- Article
- Export citation
Replacement and collection: a correction
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 2 / June 1986
- Published online by Cambridge University Press:
- 12 March 2014, p. 333
- Print publication:
- June 1986
-
- Article
-
- You have access
- Export citation
Flagg realizability in arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 2 / June 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 387-392
- Print publication:
- June 1986
-
- Article
- Export citation
Replacement and collection in intuitionistic set theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 2 / June 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 344-348
- Print publication:
- June 1985
-
- Article
- Export citation
Epistemic arithmetic is a conservative extension of intuitionistic arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 1 / March 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 192-203
- Print publication:
- March 1984
-
- Article
- Export citation
Michael Dummett. Elements of intuitionism. With the assistance of Roberto Minio. Oxford logic guides. Clarendon Press, Oxford1977, xii + 467 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 2 / June 1979
- Published online by Cambridge University Press:
- 12 March 2014, pp. 276-277
- Print publication:
- June 1979
-
- Article
- Export citation
The nonconstructive content of sentences of arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 3 / September 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 497-501
- Print publication:
- September 1978
-
- Article
- Export citation
Relativized realizability in intuitionistic arithmetic of all finite types
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 1 / March 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 23-44
- Print publication:
- March 1978
-
- Article
- Export citation
The theory of the Gödel functionals
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 3 / September 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 574-582
- Print publication:
- September 1976
-
- Article
- Export citation
The faithfulness of the interpretation of arithmetic in the theory of constructions
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 453-459
- Print publication:
- September 1973
-
- Article
- Export citation
A simplification of combinatory logic1
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 225-246
- Print publication:
- June 1972
-
- Article
- Export citation