Contents
Reviews
A. N. Prior. Formalized syllogistic. Synthese, vol. 11 no. 3 (1959), pp. 265–273.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 345
-
- Article
- Export citation
Nicholas Rescher. A ninth-century Arabic logician on: Is existence a predicate?Journal of the history of ideas, vol. 21 (1960), pp. 428–430.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 345-346
-
- Article
- Export citation
Nicholas Rescher. Logical analysis in historical application. Methodos, vol. 11 (1959), pp. 1–8.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 346
-
- Article
- Export citation
Sörén Halldén. Kants Kritik des. ontologischen Gottesbeweises. Theoria, vol. 18 (1952), pp. 1–31.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 346-347
-
- Article
- Export citation
Johannes Bendiek. Zur logischen Struktur der Gottesbeweise. Franziskanische Studien, vol. 38 (1956), pp. 1–38, 296–321.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 347-348
-
- Article
- Export citation
Francesca Rivetti Barbò. La struttura logica della prima via per provare l'esistenza di Dio: Applicazioni di logica simbolica e nessi di contenuti. Rivista di filosofia neo-scolastica, vol. 52 nos. 2–3 (1960), pp. 241–320.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 348-349
-
- Article
- Export citation
Wilhelm Ackermann. Über die Beziehung zwischen strikter und strenger Implikation. Deutsch, mit deutschem, französischem und englischem Résumé. Logica, Studia Paul Bernays dedicata, Bibliothèque scientifique no. 34, Editions du Griffon, Neuchâtel 1959, S. 9–18; auch Dialectica Bd. 12 (1958), S. 213–222.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 349
-
- Article
- Export citation
Evert W. Beth. “Cogito ergo sum” — raisonnement ou intuition? Französisch, mit französischem, deutschem und englischem Résumé. Ebd., S. 19–31; auch ebd., S. 223–235.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 349-350
-
- Article
- Export citation
Haskell B. Curry. Calculuses and formal systems. Englisch, mit englischem, deutschem und französischem Résumé. Ebd., S. 45–69; auch ebd., S. 249–273.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 350
-
- Article
- Export citation
Abraham A. Fraenkel. Paul Bernays und die Begründung der Mengenlehre. Ebd., S. 70–75; auch ebd., S. 274–279.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 350
-
- Article
- Export citation
Kurt Gödel. Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes. Deutsch, mit deutschem und englischem Résumé. Ebd., S. 76–83; auch ebd., S. 280–287.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 351
-
- Article
- Export citation
Dana Scott. Completeness proofs for the intuitionistic sentential calculus. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 231–241.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 351
-
- Article
- Export citation
Evert W. Beth and Hugues Leblanc. A note on the intuitionist and the classical prepositional calculus. Logique et analyse (Louvain), n.s. vol. 3 (1960), pp. 174–176.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 351-352
-
- Article
- Export citation
Hanfried Lenz. Zur Axiomatik der Zahlen. Acta mathematica Academiae Scientiarum Hungaricae, vol. 9 (1958), pp. 33–44.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 352-353
-
- Article
- Export citation
Robert McNaughton. Some formal relative consistency proofs. The journal of symbolic logic, vol. 18 (1953), pp. 136–144.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 353-354
-
- Article
- Export citation
András Hajnal and László Kalmár. An elementary combinatorial theorem with an application to axiomatic set theory. Publicationes mathematlcae (Debrecen), vol. 4 (1956), pp. 431–449. - E. Burger. Eine Bemerkung zur Bernays-Godel-Mengenlehre. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 4 (1958), pp. 178–179.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 354
-
- Article
- Export citation
Azriel Levy. Indépendance conditionnelle de V = L et d'axiomes qui se rattachent au systeme de M. Gödel. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 245 (1957), pp. 1582–1583.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 354
-
- Article
- Export citation
J. R. Shoenfield. On the independence of the axiom of constructibility. American journal of mathematics, vol. 81 (1959), pp. 537–840.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 355
-
- Article
- Export citation
Azriel Lévy. On Ackermann's set theory. The journal of symbolic logic, Bd. 24 Heft 2 (für 1959, veröff. 1960), S. 154–166.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 355
-
- Article
- Export citation
Herbert A. Simon. Definable terms and primitives in axiom systems. The axiomatic method with special reference to geometry and physics, Proceedings of an International Symposium held at the University of California, Berkeley, December 26, 1957—January 4, 1958. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1959, pp. 443–453.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 355-356
-
- Article
- Export citation