7 results
Alan Rose. Computer logic. Wiley-Interscience, John Wiley & Sons Ltd., London, New York, Sydney, and Toronto, 1971, xii + 180 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 2 / June 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 381-382
- Print publication:
- June 1978
-
- Article
- Export citation
Donald M. Kaplan. Some completeness results in the mathematical theory of computation. Journal of the Association for Computing Machinery, vol. 15 (1968), pp. 124–134.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 2 / June 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 246-247
- Print publication:
- June 1975
-
- Article
- Export citation
Haskell B. Curry. The undecidability of λK-conversion. Foundations of mathematics, Symposium papers commemorating the sixtieth birthday of Kurt Gödel, edited by Jack J. Bulloff, Thomas C. Holyoke, and S. W. Hahn, Springer-Verlag, Berlin, Heidelberg, and New York, 1969, pp. 10–14.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 2 / June 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 246
- Print publication:
- June 1975
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic, New York, 1971
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 430-447
- Print publication:
- June 1972
-
- Article
- Export citation
J. McCarthy. Towards a mathematical science of computation. Information processing 1962, Proceedings oflFIP Congress 62, organized by the International Federation for Information Processing, Munich, 27 August-1 September 1962, edited by Cicely M. Popplewell, North-Holland Publishing Company, Amsterdam1963, pp. 21–28. - John McCarthy. Problems in the theory of computation. Information processing 1965, Proceedings of IFIP Congress 65, organized by the International Federation for Information Processing, New York City, May 24–29, 1965, Volume I, edited by Wayne A. Kalenich, Spartan Books, Inc., Washington, D.C., and Macmillan and Co., Ltd., London, 1965, pp. 219–222.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 346-347
- Print publication:
- June 1971
-
- Article
- Export citation
Haskell B. Curry. The deduction theorem in the combinatory theory of restricted generality. Logique et analyse, n.s. vol. 3 (1960), pp. 15–39.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 468-469
- Print publication:
- September 1970
-
- Article
- Export citation
Haskell B. Curry. Basic verifiability in the combinatory theory of restricted generality. Essays on the foundations of mathematics, dedicated to A. A. Fraenkel on his seventieth anniversary, edited by Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, and A. Robinson for The Hebrew University of Jerusalem, Magnes Press, Jerusalem1961, and North-Holland Publishing Company, Amsterdam 1962, pp. 165–189.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 469-470
- Print publication:
- September 1970
-
- Article
- Export citation