Contents
Reviews
Kazimierz Ajdukiewicz. Three concepts of definition. Logique et analyse (Louvain), n.s. vol. 1 (1958), pp. 115–126.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 90
-
- Article
- Export citation
A. Mostowski. On a generalization of quantifiers. Ebd., Bd. 44 (1957), S. 12–36.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 365-366
-
- Article
- Export citation
H. Arnold Schmidt. Un procédé maniable de décision pour la logique propositionnelle intuitionniste. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris1958, pp. 57–64. - A. Mostowski, Arnold Schmidt, A. Tarski, R. Feys. Interventions. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris1958, pp. 65–66.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 286
-
- Article
- Export citation
Moh Shaw-Kwei. Ming-t'i yian-suan ti kung-li hsi-t'ung (Some axiom systems for propositional calculus). Acta mathematica Sinica, vol. 5 (1955), pp. 117–135. English summary reprinted in Zentralblatt für Mathematik und ihre Grenzgebiete, vol. 64 (1957), p. 11.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 182-183
-
- Article
- Export citation
A. Mostowski. On computable sequences. Ebd., S. 37–51.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 367
-
- Article
- Export citation
Daniel Lacombe. Sur les possibilités d'extension de la notion de fonction récursive aux fonctions d'une ou plusieurs variables réelles. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris1958, pp. 67–74. - G. Bouligand. Intervention. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris1958, p. 75.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 286-287
-
- Article
- Export citation
Moh Shaw-Kwei. Yi-pan t'i-k'wei han-shu ti kow-cheng (On the explicit form of general recursive functions). Acta mathematica Sinica, vol. 6 (1956), pp. 548–564.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 183
-
- Article
- Export citation
Uberto Scarpelli. La définition en droit. Logique et analyse (Louvain), n.s. vol. 1 (1958), pp. 127–138.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 90
-
- Article
- Export citation
E. W. Beth. Construction sémantique de la logique intuitioniste. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris1958, pp. 77–83. - A. Heyting. Intervention. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris1958, p. 84. - A. Heyting. La théorie élémentaire de l'intégration en mathématiques intuitionnistes. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris1958, pp. 85–90.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 287
-
- Article
- Export citation
Moh Shaw-Kwei. Modal systems with a finite number of modalities. Revised English translation of XXV 184(2). Scientia Sinica, vol. 7 no. 4 (1958), pp. 388–412.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 183-184
-
- Article
- Export citation
Håkan Törnebohm. Outlines of a Boolean tensor algebra with applications to the lower functional calculus. Theoria (Lund), vol. 24 (1958), pp. 39–47.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 367-368
-
- Article
- Export citation
Alf Ross. Definition in legal language. Logique et analyse (Louvain), n.s. vol. 1 (1958), pp. 139–149.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 90-91
-
- Article
- Export citation
Gustav Bergmann. The representations of S5. The. journal of symbolic logic, vol. 21 (1956), pp. 257–260.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 184
-
- Article
- Export citation
Roger Martin. Sur les notions intuitives mises en oeuvre par la constitution et l'étude d'un système formel. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris1958, pp. 91–94. - R. Feys, J. Porte. Interventions. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris1958, pp. 95–96.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 287
-
- Article
- Export citation
S. Issman. Exposé de H. B. Curry. Logique et analyse (Louvain), n.s. vol. 2 (1959), pp. 30–31. - S. Issman. Exposé de J. H. Woodger. Logique et analyse (Louvain), n.s. vol. 2 (1959), p. 31. - S. Issman. Exposé de K. Ajdukiewicz. Logique et analyse (Louvain), n.s. vol. 2 (1959), pp. 31–34. - J. Loreau. Discussions sur les rapports de MM. Scarpelli et Ross. Logique et analyse (Louvain), n.s. vol. 2 (1959), pp. 35–41. - J. Loreau. Discussion générale. Logique et analyse (Louvain), n.s. vol. 2 (1959), pp. 44–47.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 91
-
- Article
- Export citation
Håkan Törnebohm. Notes on modal operators. Theoria (Lund), vol. 24 (1958), pp. 130–135.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 368
-
- Article
- Export citation
Georges Kalinowski. Y a-t-il une logique juridique?Logique et analyse (Louvain), n.s. vol. 2 (1959), pp. 48–53.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 91
-
- Article
- Export citation
Moh Shaw-Kwei. Chü-yow yow-ch'ung koh moh-t'ai-tzu ti moh-t'ai hsi-t'ung (Modal systems with a finite number of modalities). Acta mathematica Sinica, vol. 7 (1957), pp. 1–27. - English summary reprinted in Mathematical reviews, vol. 21 (1960), p. 2. See the review of the English translation of this paper, XXV 183(2). - M. C. Badillo Barallat. Esquemas representativos de sistemas regidos por una lógica polivalente. Spanish, with English summary. Revista de cálculo automático y cibernética, vol. 4 no. 9 (1955), pp. 54–62.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 184-185
-
- Article
- Export citation
C. Y. Lee and W. H. Chen. Several-valued combinational switching circuits. Transactions of the American Institute of Electrical Engineers, vol. 75 part I (1956), pp. 278–283.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 368
-
- Article
- Export citation
F. Gonseth. Sur la méthodologie des recherches sur les fondements des mathématiques. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris1958, pp. 97–107.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 287-288
-
- Article
- Export citation