Contents
Reviews
Daniel Lacombe. Les ensembles récursivement ouverts ou fermés, et leurs applications à l'analyse récursive. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 245 (1957), pp. 1040–1043.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 53
-
- 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. 327-344
-
- Article
- Export citation
Reviews
Antoni Korok. Metoda Leibniza interpretacji logiki Arystotelesa (Leibniz's method of interpreting Aristotelian logic). Roczniki filozoficzne, vol. 4 (1955), pp. 71–78.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 215
-
- Article
- Export citation
Azriel Levy. A note on definitions of finiteness. The bulletin of the Research Council of Israel, Section F, Mathematics and physics, vol. 7F no. 2 (1958), pp 83–84.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 172
-
- Article
- Export citation
Other
Index of reviews
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 345-374
-
- Article
- Export citation
Reviews
Daniel Lacombe. Quelques propriétés d'analyse récursive. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 244 (1957), pp. 838–840, 996–997.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 53-54
-
- Article
- Export citation
Leon Henkin. A generalization of the concept of ω-completeness. The journal of symbolic logic, vol. 22 no. 1 (1957), pp. 1–14.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 172-173
-
- Article
- Export citation
Antoni Korcik. Metoda Couturata rozwiązania problemu Leibniza dotyczącego ilości podmiotów i orzeczników w zdaniach (Couturat's method of solving the problem of Leibniz concerning the number of subjects and predicates in a proposition). Roczniki filozoficzne, vol. 4 (1955), pp. 79–86.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 215
-
- Article
- Export citation
Jean Porte. La méthode formelle en mathématique. La méthode dans les sciences modernes, Éditions Science et Industrie, Paris1958, pp. 59–67.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 173
-
- Article
- Export citation
N. A. Šanin. Nékotoryé voprosy matématičéskogo analiza υ svété konstruktivnoj logiki (Einige Fragen der Analysis im Lichte der konstruktiven Logik). Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 2 (1956), pp. 27–36.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 54
-
- Article
- Export citation
Antoni Korcik. Przyczynek do historii klasycznej teorii opozycji zdań asertorycznych (Contribution to the history of the classic theory of opposition of assertoric propositions). Roczniki filozoficzne, vol. 4 (1955), pp. 33–49.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 215-216
-
- Article
- Export citation
Front matter
JSL volume 24 issue 4 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Reviews
Antoni Korcik. O tak zwanych naczelnych prawach rozumowania i zależnościach między nimi. FIRO, A three-dimensional theory of interpersonal behavior. Rinehart & Company, Inc., New York, vol. 5 no. 2 (1957–58), pp. 183–191. - A. Korcik. Les lois principales du raisonnement et les relations entre elles. French summary of the preceding. FIRO, A three-dimensional theory of interpersonal behavior. Rinehart & Company, Inc., New York vol. 5 no. 2 (1957–58), pp. 231–232.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 216
-
- Article
- Export citation
Back matter
JSL volume 24 issue 4 Cover and Back matter and Errata
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b10
-
- Article
-
- You have access
- Export citation
Reviews
A. Mal'cév. Ob odnom obščém métodé polučéniá lokal'nyh téorém téorii grupp (On a general method for obtaining local theorems in group theory). Ivanovskij Gosudarstvénnyj Pédagogičéskij Institut, Učényé zapiski, Fiziko-matématičéskié nauki, vol. 1 no. 1 (1941), pp. 3–9. - A. I. Mal'cév. O prédstavléniáh modéléj (On representations of models). Doklady Akadémii Nauk SSSR, vol. 108 (1956), pp. 27–29.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 55-57
-
- Article
- Export citation
László Kalmár. Közvetlen bizonyítás az eldöntésproblémának általános rekurzív algoritmussal való megoldhatatlanságára (A direct proof of the unsolvability of the decision problem by means of a general recursive algorithm). A Magyar Tudományos Akadémia, III. (Matematikai és fizikai) osztályának közleményei, vol. 6 (1956), pp. 1–25.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 173-174
-
- Article
- Export citation
László Kalmár. A matematika alapjaival kapcsolatos újabb eredmények (Recent results concerning the foundations of mathematics). A Magyar Tudományos Akadémia, III. (Matematikai és fizikai) osztályának közleményei, vol. 2 (1952), pp. 89–103. - Alfréd Rényi, György Alexits, János Aczél. Hozzászólások Kalmár László előadásához (Remarks concerning the lecture of László Kalmár). A Magyar Tudományos Akadémia, III. (Matematikai és fizikai) osztályának közleményei, pp. 104–108. - László Kalmár. Kalmár László válasza (László Kalmár's reply). A Magyar Tudományos Akadémia, III. (Matematikai és fizikai) osztályának közleményei, pp. 108–112.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 174
-
- Article
- Export citation
A. I. Mal'cév. Kvaziprimitivnyé klassy abstraktnyh algébr (Quasi-primitive classes of abstract algebras). Doklady Akadémii Nauk SSSR, vol. 108 (1956), pp. 187–189.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 57
-
- Article
- Export citation
Dagobert D. Runes. Pictorial history of philosophy. Philosophical Library, New York1959, x + 406 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 216
-
- Article
- Export citation
A. I. Mal'cév. Podprámyé proizvédéniá modéléj (Subdirect products of models). Doklady Akadémii Nauk SSSR, vol. 109 (1956), pp. 264–266.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 57-58
-
- Article
- Export citation