Contents
Reviews
Alice Mary Hilton. Logic, computing machines, and automation. Spartan Books, Washington, D.C., and Cleaver-Hume Press, London, 1963, xxi + 427 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 341-342
-
- Article
- Export citation
R. V. Možarov. Ob odnom priznaké polnoty sistémy funkcij algébry logiki (On a sign of completeness of functions system of logic algebra). Avtomatika i téléméhanika, vol. 26, (1965), pp. 1644–1645. - R. V. Mozharov. One method for testing the completeness of systems of logical functions. English translation of the preceding. Automation and remote control, vol. 26 (for 1965, pub. 1966), pp. 1592–1593.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 343
-
- Article
- Export citation
Ludovico Geymonat. Prefazione. Logica e aritmetica, by Gottlob Frege, writings collected and edited by Corrado Mangione (translation by Ludovico Geymonat and Corrado Mangione), Paolo Boringhieri, Turin1965, pp. 9–10.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 532-534
-
- Article
- Export citation
Carmelo Ottaviano. Premessa. Logicalia, Saggi di logica e di filosofia della scienza, by Annibale Pastore, edited by Carmelo Ottaviano, CEDAM—Casa Editrice Dott. Antonio Milani—Padua1957, pp. 5–6.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 534-535
-
- Article
- Export citation
John E. Hopcroft and Jeffrey D. Ullman. Relations between time and tape complexities. Journal of the Association for Computing Machinery, vol. 15 (1968), pp. 414–427.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 343
-
- Article
- Export citation
A. H. Basson and D. J. O'Connor. Language and philosophy: Some suggestions for an empirical approach. Methodos, vol. 5 (1953), pp. 203–221. (Reprinted from Philosophy, vol. 22 (1947), pp. 49–65.) - A. H. Basson and D. J. O'Connor. Linguaggio e filosofia. Alcuni suggerimenti per un approccio empirico, Italian translation of the preceding. Methodos, vol. 5 (1953), pp. 222–232.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 535
-
- Article
- Export citation
G. N. Povarov. Matématiko-logičéskoe isslédovanié sintéza kontaktnyh shém s odnim vhodom i k vyhodami (A mathematical theory for the synthesis of contact networks with one input and k outputs). A reprint of XXXV 175 with minor corrections. Logičéskié isslédovaniá, Sbornik statéj, Izdatél′stvo Akadémii Nauk SSSR, Moscow1959, pp. 379–405.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 343-344
-
- Article
- Export citation
Meeting Report
Meeting of the Association for Symbolic Logic, New York 1969
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 348-358
-
- Article
- Export citation
Reviews
Andrzej Grzegorczyk. O pewnych formalnych konsekwencjach reizmu (On certain formal consequences of reism). Fragmenty filozoficzne, seria druga, Ksiȩga pamia̧tkowa ku uczczeniu czterdziestolecia pracy nauczycielskiej w Uniwersytecie Warszawskim Profesora Tadeusza Kotarbinskiego, Państwowe Wydawnictwo Naukowe, Warsaw1959, pp. 7–14.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 536
-
- Article
- Export citation
Other
Related Citations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 536-540
-
- Article
- Export citation
Correction
Erratum
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 358
-
- Article
- Export citation
Meeting Report
Meeting of the Association for Symbolic Logic, Dallas 1973
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 541-549
-
- Article
- Export citation
Other
Related Citations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 344-347
-
- Article
- Export citation
Front matter
JSL volume 38 issue 2 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f5
-
- Article
-
- You have access
- Export citation
Other
Notice of a Conference on Relevance Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 550
-
- Article
- Export citation
Back matter
JSL volume 38 issue 2 Cover and Back matter
-
- Published online by Cambridge University Press:
- 12 March 2014, p. b1
-
- Article
-
- You have access
- Export citation
Other
Notice of a Meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 550
-
- Article
- Export citation
Front matter
JSL volume 38 issue 3 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, p. f1
-
- Article
-
- You have access
- Export citation