Contents
Reviews
V. N. Roginskij. Rabota réléjnyh shém v péréhodnyé périody (Operation of switching circuits in transitional periods). Avtomatika i téléméhanika, vol. 20 (1959), pp. 1409–1416.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 189-190
-
- Article
- Export citation
Meeting Report
Twenty-sixth annual meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 384-392
-
- Article
- Export citation
Reviews
Arto Salomaa. On many-valued systems of logic. Ajatus, vol. 22 (1959), pp. 115–159. - Arto Salomaa. On the composition of functions of several variables ranging over a finite set. Annales Universitatis Turkuensis, Series A, Turun Yliopisto, Turku1960, 48 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 291-293
-
- Article
- Export citation
V. F. D'áčénko. Ob odnom sposobé analiza složnyh réléjno-kontaktnyh shém (On analysis of complicated switching circuits). Avtomatika i téléméhanika, vol. 20 (1959), pp. 1417–1425.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 190
-
- Article
- Export citation
Other
Preliminary notice
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 392
-
- Article
- Export citation
Reviews
Takeo Sugihara. A three-valued logic with meaning-operator. The Memoirs of Fukui University, Librasi Arts Department, I. Humanities and social sciences, no. 8 (1958), pp. 59–60.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 293
-
- Article
- Export citation
Other
Announcement to subscribers to the Journal of Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 393
-
- Article
- Export citation
Reviews
Jan Łukasiewicz. A system of modal logic. Actes du Xlème Congrès International de Philosophie, volume XIV, Volume complémentaire et communications du Colloque de Logique, North-Holland Publishing Company, Amsterdam1953, and Editions E. Nauwelaerts, Louvain 1953, pp. 82–87. - Jan Łukasiewicz. A system of modal logic. The journal of computing systems, vol. 1 no. 3 (1953), pp. 111–149. - Ivo Thomas. Note on a modal system of Łukasiewicz. Dominican studies, vol. 6 (1953), pp. 167–170. - A. N. Prior. The interpretation of two systems of modal logic. The journal of computing systems, vol. 1 no. 4 (1954), pp. 201–208. - Alan Ross Anderson. On the interpretation of a modal system of Łukasiewicz. The journal of computing systems, vol. 1 no. 4 (1954), pp. 209–210. - Jan Łukasiewicz. Arithmetic and modal logic. The journal of computing systems, vol. 1 no. 4 (1954), pp. 213–219. - Jan Łukasiewicz. On a controversial problem of Aristotle's modal syllogistic. Dominican studies, vol. 7 (1954), pp. 114–128.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 293-296
-
- Article
- Export citation
Henri Soubies-Camy. L'algèbre logique appliquée aux techniques binaires. Automatisme (Paris), vol. 3 (1958), pp. 266–272, 303–310, 338–345, 385–393, 423–429.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 190
-
- Article
- Export citation
Other
List of officers and members of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 394-412
-
- Article
- Export citation
Reviews
Marcel Guillaume. Rapports entre calculs propositionnels modaux et topologie impliqués par certaines extensions de la méthode des tableaux sémantiques. Système de Feys-von Wright. Comptes rendus des séances de l'Académie des Sciences (Paris), vol. 246 (1958), pp. 1140–1142. - Marcel Guillaume. Rapports entre calculs propositionnels modaux et topologie impliqués par certaines extensions de la méthode des tableaux sémantiques. Système S4 de Lewis. Comptes rendus des séances de l'Académie des Sciences (Paris), vol. 246 (1958), pp. 2207–2210. - Marcel Guillaume. Rapports entre calculs propositionnels modaux et topologie impliqués par certaines extensions de la méthode des tableaux sémantiques. Système S5 de Lewis. Comptes rendus des séances de l'Académie des Sciences (Paris), vol. 247 (1958), pp. 1282–1283. - Marcel Guillaume. Calculs de consequences et tableaux d'épreuve pour les classes algébriques générales d'anneaux booléiens à opérateurs. Comptes rendus des séances de l'Académie des Sciences (Paris), vol. 246 (1958), pp. 1542–1544.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 296-297
-
- Article
- Export citation
Richard C. Jeffrey. Arithmetical analysis of digital computing nets. Journal of the Association for Computing Machinery, vol. 3 (1956), pp. 360–375.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 190-191
-
- Article
- Export citation
B. D. Rudin. A theorem on SPDT switching circuits. Proceedings of the 1955 Western Joint Computer Conference, Institute of Radio Engineers, New York1955, pp. 129–132.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 191-192
-
- Article
- Export citation
Toshio Umezawa. On some properties of intermediate logics. Proceedings of the Japan Academy, vol. 35 (1959), pp. 575–577.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 297-298
-
- Article
- Export citation
Front matter
JSL volume 25 issue 1 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Back matter
JSL volume 25 issue 1 Cover and Back matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b4
-
- Article
-
- You have access
- Export citation
Reviews
Toshio Umezawa. On an application of intermediate logics. Nagoya mathematical journal, vol. 16 (1960), pp. 119–133.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 298
-
- Article
- Export citation
Front matter
JSL volume 25 issue 2 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f6
-
- Article
-
- You have access
- Export citation
Reviews
Gerold Stahl. An opposite and an expanded system. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 4 (1958), pp. 244–247.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 298-299
-
- Article
- Export citation
Henry Hiż. Extendióle sentential calculus. The journal of symbolic logic, vol. 24 no. 3 (for 1959, pub. 1960), pp. 193–202.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 299
-
- Article
- Export citation