Contents
Reviews
W. L. Duda. Post canonical language. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 410–423.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 343
-
- Article
- Export citation
Hao Wang. Tag systems and lag systems. Mathematische Annalen, vol. 152 (1963), pp. 65–74. - John Cocke and Marvin Minsky. Universality of tag systems with D = 2. Journal of the Association for Computing Machinery, vol. 11 (1964), pp. 15–20. - Stephen A. Cook. The solvability of the derivability problem for one-normal systems. Journal of the Association for Computing Machinery, vol. 13 (1966), pp. 223–225.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 344
-
- Article
- Export citation
Robert R. Korfhage. Logic and algorithms with applications to the computer and information sciences. John Wiley & Sons, Inc., New York, London, and Sydney, 1966, xii + 194 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 344-346
-
- Article
- Export citation
Zdeněk Zastávka. Ob algorifmah s eléméntami pomáti (Über Algorithmen mit Speicherelementen). Russisch mit Zusammenfassungen auf Russisch und Tschechoslowakisch. Kybernetika (Prag), Band 4 (1968), S. 201–225.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 346
-
- Article
- Export citation
M. Gross and A. Lentin. Introduction to formal grammars. English translation of XXXIV 298 by M. Salkoff. Springer-Verlag, New York, Heidelberg, and Berlin, 1970, XI + 231 pp. - Noam Chomsky. Preface. Therein, pp. VII–IX.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 346
-
- Article
- Export citation
Jiří Bečvář. Real-time and complexity problems in automata theory. English with Czech summary. Kybernetika (Prague), vol. 1 (1965), pp. 475–498.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 346
-
- 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.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 346-347
-
- Article
- Export citation
C. S. Lorens. Invertible Boolean functions. IEEE transactions on electronic computers, vol. EC–13 (1964), pp. 529–541.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 347-348
-
- Article
- Export citation
Meeting Report
Meetings of the Association for Symbolic Logic, U.S.-Japan Logic Seminar, Tokyo 1969
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 357-359
-
- Article
- Export citation
Chicago 1967 meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 359-368
-
- Article
- Export citation
Madison 1970 meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 368-378
-
- Article
- Export citation
Second Scandinavian Logic Symposium
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 378-384
-
- Article
- Export citation
Front matter
JSL volume 36 issue 2 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f5
-
- Article
-
- You have access
- Export citation