Contents
Reviews
L. Nolin. Sur l'algèbre des prédicats. Le raisonnement en mathématiques et en sciences expérimentales, Colloques internationaux du Centre National de la Recherche Scientifique 70, Éditions du Centre National de la Recherche Scientifique, Paris1958, pp. 33–37. - A. Mostowski, J. Porte, A. Tarski, J. Riguet. Interventions. Le raisonnement en mathématiques et en sciences expérimentales, Colloques internationaux du Centre National de la Recherche Scientifique 70, Éditions du Centre National de la Recherche Scientifique, Paris1958, p. 37.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 235
-
- Article
- Export citation
G. Kreisel. On the concepts of completeness and interpretation of formal systems. Fundamenta mathematicae, vol. 39 (for 1952, pub. 1953), pp. 103–127. - G. Kreisel. Applications of mathematical logic to various branches of mathematics. Applications scientifiques de la logique mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris — 25–30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, ser. A no. 5, lithographed (“dactyl-spécial”), Gauthier-Villars, Paris 1954, and E. Nauwelaerts, Louvain 1954, pp. 37–49. - A. Robinson and G. Kreisel. Discussion. Applications scientifiques de la logique mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris — 25–30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, ser. A no. 5, lithographed (“dactyl-spécial”), Gauthier-Villars, Paris 1954, and E. Nauwelaerts, Louvain 1954, p. 50. - G. Kreisel. Models, translations, and interpretations. Mathematical interpretation of formal systems, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1955, pp. 26–50.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 236-238
-
- 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
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
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
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
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
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
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
Joyce Friedman. Some results in Church's restricted recursive arithmetic. The journal of symbolic logic, vol. 22 no. 4 (for 1957, pub. 1958), pp. 337–342.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 241-242
-
- Article
- Export citation
W. V. Quine. Interpretations of sets of conditions. The journal of symbolic logic, vol. 19 (1954), pp. 97–102.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 242
-
- Article
- Export citation
Ludwik Borkowski. Systems of the propositional and of the functional calculus based on one primitive term. English, with Polish and Russian summaries. Studia logica, vol. 6 (1957), pp. 7–55.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 242-243
-
- Article
- Export citation
Juliusz Reichbach. Some definition of the proper prime ideal. Riveon lematematika, vol. 13 (1959), pp. 29–31.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 243
-
- Article
- Export citation
William Craig. Linear reasoning. A new form of the Herbrand-Gentzen theorem. The journal of symbolic logic, vol. 22 (1957), pp. 250–268. - William Craig. Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory. The journal of symbolic logic, vol. 22 (1957), pp. 269–285.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 243-244
-
- Article
- Export citation
A. H. Lightstone and A. Robinson. Syntactical transforms. Transactions of the American Mathematical Society, vol. 86 (1957), pp. 220–245.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 244-245
-
- Article
- Export citation
R. L. Goodstein. Logic-free formalisations of recursive arithmetic. Mathematica Scandinavica, Bd. 2 (1954), S. 247–261.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 245-246
-
- Article
- Export citation
H. Hiż. A warning about translating axioms. The American mathematical monthly, vol. 65 (1958) pp. 613–614.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 246
-
- Article
- Export citation
Czesław Lejewski. On implicational definitions. English, with Polish and Russian summaries. Studia logica, vol. 8 (1958), pp. 189–211.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 246-247
-
- Article
- Export citation