8 results
Frederic B. Fitch. Elements of combinatory logic. Yale University Press, New Haven and London1974, viii + 162 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 4 / December 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 789-790
- Print publication:
- December 1976
-
- Article
- Export citation
Frederic B. Fitch. Quasi-constructive foundations for mathematics. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by A. Heyting, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1959, pp. 26–36.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 402
- Print publication:
- June 1972
-
- Article
- Export citation
The decidability of hindley's axioms for strong reduction
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 237-239
- Print publication:
- August 1967
-
- Article
- Export citation
Strong reduction and normal form in combinatory logic1
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 213-223
- Print publication:
- August 1967
-
- Article
- Export citation
W. V. Quine. Variables explained away. Proceedings of the American Philosophical Society, vol. 104 (1960), pp. 343–347. Reprinted in Selected logic papers, by W. V. Quine, Random House, New York, pp. 227–235.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 112
- Print publication:
- June 1967
-
- Article
- Export citation
K. Menger. The algebra of functions: past, present, future. Rendiconti di matematica, vol. 20 (1961), pp. 409–430. - Karl Menger. Function algebra and propositional calculus. Self-organizing systems 1962, edited by Marshall C. Yovits, George T. Jacobi, and Gordon D. Goldstein, Spartan Books, Washington, D.C., 1962, pp. 525–532. - Karl Menger and Martin Schultz. Postulates for the substitutive algebra of the 2-place functors in the 2-valued calculus of propositions. Notre Dame journal of formal logic, vol. 4 no. 3 (1963), pp. 188–192. - Robert E. Seall. Truth-valued fluents and qualitative laws. Philosophy of science, vol. 30 (1963), pp. 36–10.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 272
- Print publication:
- June 1966
-
- Article
- Export citation
Frederic B. Fitch. The system CΔ of combinatory logic. The journal of symbolic logic, vol. 28 no. 1 (for 1963, pub. 1964), pp. 87–97.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 4 / December 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 198-199
- Print publication:
- December 1964
-
- Article
- Export citation
Recursive Number Theory. By R. L. Goodstein. Pp. ix, 190. 36s. 1957. Studies in logic and the foundations of mathematics. (North-Holland, Amsterdam)
-
- Journal:
- The Mathematical Gazette / Volume 42 / Issue 342 / December 1958
- Published online by Cambridge University Press:
- 03 November 2016, pp. 326-328
- Print publication:
- December 1958
-
- Article
- Export citation