Contents
Reviews
Hans Skjervheim. Reason in society and modern logic. Inquiry (Oslo), vol. 1 (1958), pp. 243–246. - Jens Erik Fenstad. Notes on the application of formal methods in the soft sciences. Inquiry (Oslo), vol. 2 (1959), pp. 34–64.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 81
-
- Article
- Export citation
Abraham Robinson. Some problems of definability in the lower predicate calculus. Fundamenta mathematicae, vol. 44 (1957), pp. 309–329.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 171
-
- Article
- Export citation
Karl Menger. What are x and y?. The mathematical gazette, vol. 40 (1956), pp. 246–255.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 266-267
-
- 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
Johan Galtung. Expectations and interaction processes. Inquiry (Oslo), vol. 2 (1959), pp. 213–234.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 81
-
- Article
- Export citation
Karl Menger. New approach to teaching intermediate mathematics. Science, vol. 127 (1958), pp. 1320–1323.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 267-268
-
- Article
- Export citation
Abraham Robinson. Complete theories. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1956, VIII + 129 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 172-174
-
- 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
C. W. Webb. The antinomy of individuals. The journal of philosophy, vol. 55 (1958), pp. 735–739.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 81-82
-
- Article
- Export citation
Abraham Robinson. A result on consistency and its application to the theory of definition. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, Series A, vol. 59 (1956), pp. 47–58; also Indagationes mathematicae, vol. 18 (1956), pp. 47–58.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 174
-
- 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
Albert Menne. Was ist und was kann Logistik?Ferdinand Schöningh, Paderborn1957, 15 p.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 268
-
- Article
- Export citation
J. F. Thomson. Symposium: Reducibility. I. Aristotelian Society supplementary volume XXVI. London1952, pp. 87–104.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 82
-
- Article
- Export citation
Theodore Hailperin. A theory of restricted quantification. The journal of symbolic logic, vol. 22 (1957), pp. 19–35, 113–129.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 175-176
-
- 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
Oskar Becker. Grundlagen der Mathematik in geschichtlicher Entwicklung. Orbis, Bd. II/6. Verlag Karl Alber, Freiburg und München1954, XI + 422 S.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 268-269
-
- Article
- Export citation
G. J. Warnock. Symposium: Reducibility. II. Aristotelian Society supplementary volume XXVI. London1952, pp. 105–120.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 82
-
- Article
- Export citation
E. W. Beth. Les fondements logiques des mathématiques. Deuxième édition revue et augmentée. Collection de logique mathématique, A I. Gauthier-Villars, Paris, and E. Nauwelaerts, Louvain, 1955, XV + 241 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 269
-
- Article
- Export citation
Günter Asser and Karl Schröter. Axiomatisierung der k-zahlig allgemeingültigen Ausdrücke des Stufenkalküls. Mathematische Nachrichten, vol. 19 no. 1–6 (1958), pp. 73–86.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 176
-
- 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