Reviews
Rudolf Carnap. Einführung in die symbolische Logik mit besonderer Berücksichtigung ihrer Anwendungen. Springer-Verlag, Wien1954, X + 209 S.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 274-277
-
- Article
- Export citation
Stephen Toulmin. What kind of discipline is logic?Actes du XIème Congrès International de Philosophie, Volume V, Logique, analyse philosophique, philosophie des mathématiques, North-Holland Publishing Company, Amsterdam1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 7–11.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 54-55
-
- Article
- Export citation
Kurt Schütte. Ein widerspruchsloses System der Analysis auf typenfreier Grundlage. Mathematische Zeitschrift, Bd. 61 (1954), S. 160–179.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 277-278
-
- Article
- Export citation
Research Article
On the paradox of grounded classes
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 140
-
- Article
- Export citation
A proof procedure for quantification theory
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 141-149
-
- Article
- Export citation
Reviews
Wolfram Schwabhäuser. Zur Definition des geordneten Paares von Mengen beliebiger Stufe. Mathematische Nachrichten, vol. 11 (1954), pp. 81–84.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 278
-
- Article
- Export citation
Bruno Baron von Freytag Löringhoff. Zur Logik als Lehre von Identität und Verschiedenheit. Actes du XIème Congrès International de Philosophie, Volume V, Logique, analyse philosophique, philosophie des mathématiques, North-Holland Publishing Company, Amsterdam1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 19–24.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 55
-
- Article
- Export citation
Karl Egil Aubert. Om presisering og generalisering av relasjonsbegrepet (An exact account and a generalization of the concept of relation). Norsk matematisk tidsskrift, vol. 30 (1948), pp. 33–53.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 278-279
-
- Article
- Export citation
Arthur Pap. Analytic truth and “implicit definitions.”Actes du XIème Congrès International de Philosophie, Volume V, Logique, analyse philosophique, philosophie des mathématiques, North-Holland Publishing Company, Amsterdam1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 151–155.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 55
-
- Article
- Export citation
Research Article
Correction to a paper on modal logic
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 150
-
- Article
- Export citation
Recursive well-orderings
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 151-163
-
- Article
- Export citation
Reviews
Abraham Robinson. Théorie métamathématique des idéaux. Collection de logique mathématique, série A. Dactyl-offset. Gauthier-Villars, Paris; E. Nauwelaerts, Louvain; 1955, 186 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 279-281
-
- Article
- Export citation
Franz Crahay. A propos d'une réduction fallacieuse des notions d'existence et de vérité. Actes du XIème Congrès International de Philosophie, Volume V, Logique, analyse philosophique, philosophie des mathématiques, North-Holland Publishing Company, Amsterdam1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 156–159.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 56
-
- Article
- Export citation
J. J. Callahan. Symbolism in mathematics and logic. Actes du XIème Congrès International de Philosophie, Volume V, Logique, analyse philosophique, philosophie des mathématiques, North-Holland Publishing Company, Amsterdam1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 166–171.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 56
-
- Article
- Export citation
Ladislav Rieger. 0 sčétnyh obobščénnyh σ-algébrah i novom dokazatélstvé téorémy Gédéla o polnoté. Časopis pro pěstováni matematiky a fysiky (Čéhoslovackij matématičéskij žurnal), vol. 1 (76) no. 1 (1951), pp. 33–49. - Ladislav Rieger. On countable generalised σ-algebras, with a new proof of Gödel's completeness theorem. English translation of the preceding. Czechoslovak mathematical journal, vol. 1 (76) no. 1 (1951), pp. 29–40.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 281-282
-
- Article
- Export citation
K. Jaakko J. Hintikka. Distributive normal forms in the calculus of predicates. Acta philosophica fennica, no. 6. Helsinki1953, 71 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 164
-
- Article
- Export citation
Günter Asser. Eine semantische Charakterisierung der deduktiv abgeschlossenen Mengen des Prädikatenkalküls der ersten Stufe. Zeitschrift für mathematische Logik und Grundlagen der Mathematik (Berlin), vol. 1 (1955), pp. 3–28.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 282
-
- Article
- Export citation
A. M. MacIver. Do words mean anything?Actes du XIème Congrès International de Philosophie, Volume V, Logique, analyse philosophique, philosophie des mathématiques, North-Holland Publishing Company, Amsterdam1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 172–175. See corrigenda, ibid., Volume XIV, p. 328.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 56-57
-
- Article
- Export citation
Abraham A. Fraenkel. Abstract set theory. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1953, XII + 479 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 164-165
-
- Article
- Export citation
A. J. J. De Witte. The relations of symbolic logic and comparative linguistics. Actes du XIème Congrès International de Philosophie, Volume V, Logique, analyse philosophique, philosophie des mathématiques, North-Holland Publishing Company, Amsterdam1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 176–179.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 57
-
- Article
- Export citation