Contents
Reviews
Jean Chauvineau. La logique moderne. Presses Universitaires de France, Paris1957, 128 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 70-71
-
- Article
- Export citation
P. C. Rosenbloom. Konstruktive Ăquivalente für Sätze aus der klassischen AnalysisActes du Deuxième Congrès International de l'Union Internationale de Philosophie des Sciences, Zurich 1954, II Physique, mathématiques, pp. 135–137.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 238
-
- Article
- Export citation
Back matter
JSL volume 24 issue 2 Cover and Back matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
-
- Article
-
- You have access
- Export citation
Reviews
Robert Blanché. Introduction à la logique contemporaine. Librairie Armand Colin, Paris1957, 208 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 71
-
- Article
- Export citation
J. R. Shoenfield. The class of recursive functions. Proceedings of the American Mathematical Society, vol. 9 (1958), pp. 690–692.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 238-239
-
- Article
- Export citation
William W. Boone. An analysis of Turing's “The word problem in semi-groups with cancellation.”Annals of mathematics, ser. 2 vol. 67 (1958), pp. 195–202.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 239
-
- Article
- Export citation
N. Bourbaki. Théorie des ensembles. Éléments de Mathématique, Première partie, Livre I, Chapitres I, II. Actualités scientifiques et industrielles 1212. Hermann & Cie, Paris1954, title pages + 136 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 71-73
-
- Article
- Export citation
Setsuya Seki. Kisoron (Foundations of mathematics). Oyama-Syoten, Tiyoda-Huzimityô, Tokyo1955, 71 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 73
-
- Article
- Export citation
Jean Porte. Systèmes de Post, algorithmes de Markov. Cybernetica, vol. 1 no. 2 (1958), offprint pp. 1–36.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 239-240
-
- Article
- Export citation
Setsuya Seki. Syûgôron nyûmon (Introduction to set theory). Baifukan, Kanda-Nisikityô, Tokyo1957, 172 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 73
-
- Article
- Export citation
Frederic B. Fitch. Self-referential relations. Actes du Xlème Congrès International de Philosophie, volume XIV, Volume complémentaire et communications du Colloque de Logique, North-Holland Publishing Company, Amsterdam, 1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 121–127.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 240
-
- Article
- Export citation
Makoto Itoh. Ippan isô-Boole-soku ni tuite (On the general topological Boolean lattice). Kyûsyû Daigaku kôgaku syûhô (Technology reports of the Kyushu University) (Fukuoka), vol. 29 no. 4 (1957), pp. 261–264.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 73-74
-
- Article
- Export citation
Jacques Riguet. Le calcul des relations en tant qu'outil méthodologique. La méthode dans les sciences modernes, edited by François LeLionnais, Travail et méthodes. Revue technique mensuelle de la direction et de l'organisation des entreprises. Numéro hors série, Éditions Science et Industrie, Paris1958, pp. 69–82.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 240
-
- Article
- Export citation
Makoto Itoh. Tagen-Boole-hôteisiki to kakutyô sareta Poretsky no kôsiki ni tutte (On the Boolean equation with many variables and the extended Poretsky formula). Kyûsyû Daigaku kôgaku syûhô (Technology reports of the Kyushu University) (Fukuoka), vol. 30 no. 3 (1957), pp. 211–213.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 74
-
- Article
- Export citation
Gerold Stahl. Les univers du discours et les calculs correspondants. Annales de l'Université de Paris, vol. 27 (1957), pp. 530–539.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 240
-
- Article
- Export citation
Andrzej Mostowski. Concerning a problem of H. Scholz. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, Bd. 2 (1956), S. 210–214.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 241
-
- Article
- Export citation
Makoto Itoh. Sequential switch kairo no kihon hôteisiki (Fundamental equation for sequential switching circuits). Kyûsyû Daigaku kôgaku syûhô (Technology reports of the Kyushu University) (Fukuoka), vol. 30 no. 3 (1957), pp. 225–228.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 74
-
- Article
- Export citation
Gr. C. Moisil. Sur la théorie algébrique de certains circuits électriques. Journal de mathématiques pures et appliquées, vol. 36 no. 4 (1957), pp. 313–324.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 74
-
- Article
- Export citation
Thomas Eichholz. Semantische Untersuchungen zur Entscheidbarkeit im Prädikatenkalkül mit Funktionsvariablen. Archiv für mathematische Logik und Grundlagenforschung, vol. 3 (1957), pp. 19–28.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 241
-
- Article
- Export citation
Gene W. Arant. A time-sequential tabular analysis of flip-flop logical operation. Transactions of the Institute of Radio Engineers Professional Group on Electronic Computers, vol. EC-6 no. 4 (1957), pp. 72–74.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 74
-
- Article
- Export citation