Reviews
R. M. Martin. Does modal logic rest upon a mistake?Philosophical studies (Minneapolis), vol. 14(1963), pp. 8–11.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 691
-
- Article
- Export citation
F. R. Drake. On McKinsey's syntactical characterizations of systems of modal logic. The journal of symbolic logic, vol. 27 no. 4 (for 1962, pub. 1963), pp. 400–406.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 691-692
-
- Article
- Export citation
M. H. Löb. Extensional interpretations of modal logics. The journal of symbolic logic, vol. 31 (1966), pp. 23–45.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 692
-
- Article
- Export citation
David Makinson. A normal modal calculus between T and S4 without the finite model property. The journal of symbolic logic, vol. 34 (1969), pp. 35–38.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 692
-
- Article
- Export citation
Alonzo Church. An independence question in recursive arithmetic. Colloquium on the Foundations of Mathematics, Mathematical Machines and Their Applications, Tihany, 11–15 September 1962, edited by László Kalmár, Akadémiai Kiadó, Budapest1965, pp. 21–26.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 692-693
-
- Article
- Export citation
V. S. Čérnávskij. Ob odnom klassé normal′nyh algorifmov Markova. Logičéskié isslédovaniá, Sborník statéj, Izdatél′stvo Akadémii Nauk SSSR, Moskau1959, S. 263–299. - V. S. Černjavskií. On a class of normal Markov algorithms. Englische Übersetzung des Vorhergehenden, von J. M. Danskin. American Mathematical Society Translations, Folge 2, Bd. 48 (1965), S. 1–35.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 693
-
- Article
- Export citation
Frank B. Cannonito. The Gödel incompleteness theorem and intelligent machines. AFIPS, Proceedings 1962 Spring Joint Computer Conference, San Francisco, Calif., May 1–3, 1962, vol. 21, The National Press, Palo Alto1962, pp. 71–77.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 693
-
- Article
- Export citation
Sheila A. Greibach. The unsolvability of the recognition of linear context-free languages. Journal of the Association for Computing Machinery, vol. 13 (1966), pp. 582–587.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 693
-
- Article
- Export citation
Robert W. Floyd. A note on mathematical induction on phrase structure grammars. Information and control, vol. 4 (1961), pp. 353–358.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 693-694
-
- Article
- Export citation
B. G. Mirkin. Novyj algoritm postroéniá bazisa v ázyké régularnyh vyražénij. Izvéstiá Akadémii Nauk SSSR, Téchničeskaá Kibérnétika, no. 5 (1966), pp. 113–119. - B. G. Mirkin. An algorithm for constructing a base in a language of regular expressions. English translation of the preceding. Engineering cybernetics, no. 5 (Sept.-Oct. 1966), pp. 110–116.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 694
-
- Article
- Export citation
A. K. Choudhury and M. S. Basu. On detection of group invariance or total symmetry of a Boolean function. Indian journal of physics, vol. 36 (1961), pp. 31–42; also Proceedings of the Indian Association for the Cultivation of Science, vol. 45 (1961), pp. 31–42. - C. L. Sheng. Detection of totally symmetric Boolean functions. IEEE transactions on electronic computers, vol. EC-14 (1965), pp. 924–926. - A. K. Choudhury and S. R. Das. Comment on “Detection of totally symmetric Boolean functions.”IEEE transactions on electronic computers, vol. EC-15 (1966), p. 813. - C. L. Sheno. Author's reply. IEEE transactions on electronic computers, vol. EC-15 (1966), p. 813.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 694-695
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic, Atlantic City, 1971
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 696-710
-
- Article
- Export citation
Other
Notice of two directories of philosophy
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 710
-
- Article
- Export citation
Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 711-752
-
- Article
- Export citation
Index of Reviews
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 753-808
-
- Article
- Export citation
Front matter
JSL volume 36 issue 4 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f6
-
- Article
-
- You have access
- Export citation