Contents
Reviews
Dag Prawitz. An improved proof procedure. Theoria (Lund), vol. 26 (1960), pp. 102–139.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 126-127
-
- Article
- Export citation
Joseph S. Wholey. Persistence and Herbrand expansions. The journal oj symbolic logic, vol. 28 no. 4 (for 1963, pub. 1964), pp. 280–282.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 127
-
- Article
- Export citation
E. J. Lemmon. Quantifier rules and natural deduction. Mind, n.s. vol. 70 (1961), pp. 235–238.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 127
-
- Article
- Export citation
Theodore Hailperin. An incorrect theorem. The journal of symbolic logic, vol. 30 (1965), p. 27.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 128
-
- Article
- Export citation
Georg Kreisel. Some concepts concerning formal systems of number theory. Mathematische Zeitschrift, vol. 57 no. 1 (1952), pp. 1–12.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 128
-
- Article
- Export citation
Leon Henkin. Sums of squares. 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. 284–291.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 128
-
- Article
- Export citation
G. Kreisel. Sums of squares. 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. 313–320.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 128-129
-
- Article
- Export citation
G. Kreisel. Mathematical significance of consistency proofs. The journal of symbolic logic, vol. 23 no. 2 (for 1958, pub. 1959), pp. 155–182.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 129
-
- Article
- Export citation
Chen Chung Chang and Anne C. Morel. Some cancellation theorems for ordinal products of relations. Duke mathematical journal, vol. 27 (1960), pp. 171–181. - Chen Chung Chang. Cardinal and ordinal multiplication of relation types. Lattice theory, Proceedings of symposia in pure mathematics, vol. 2, American Mathematical Society, Providence 1961, pp. 123–128. - C. C. Chang. Ordinal factorization of finite relations. Transactions of the American Mathematical Society, vol. 101 (1961), pp. 259–293.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 129-130
-
- Article
- Export citation
R. Sikorski. On a generalization of theorems of Banach and Cantor-Bernstein. Colloquium mathematicum, vol. 1 (1947), pp. 140–144. - Shin’ichi Kinoshita. A solution of a problem of R. Sikorski. Fundamenta mathematicae, vol. 40 (1953), pp. 39–41.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 130-131
-
- Article
- Export citation
J. Słomiński. Theory of models with infinitary operations and relations. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 6 (1958), pp. 449–456.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 131
-
- Article
- Export citation
K. I. Appel. Horn sentences in identity theory. The journal of symbolic logic, vol. 24 no. 4 (for 1959, pub. 1961), pp. 306–310.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 131-132
-
- Article
- Export citation
R. L. Vaught. Sentences true in all constructive models. 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. 341–343. - R. L. Vaught. Sentences true in all constructive models. The journal of symbolic logic, vol. 25 no. 1 (for 1960, pub. 1961), pp. 39–53.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 132
-
- Article
- Export citation
A. H. Kruse. A method of modelling the formalism of set theory in axiomatic set theory. The journal of symbolic logic, vol. 28 no. 1 (for 1963, pub. 1964), pp. 20–34.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 132-133
-
- Article
- Export citation
Georg Kreisel and Daniel Lacombe. Ensembles récursivement mesurables et ensembles récursivement ouverts ou fermés. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 245 (1957), pp. 1106–1109.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 133
-
- Article
- Export citation
Daniel Lacombe. Quelques procédés de définition en topologie récursive. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by A. Heyting, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1959, pp. 129–158.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 133-134
-
- Article
- Export citation
D. L. Kreider and Hartley RogersJr, Constructive versions of ordinal number classes. Transactions of the American Mathematical Society, vol. 100 (1961), pp. 325–369.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 134-135
-
- Article
- Export citation
Hilary Putnam. Uniqueness ordinals in higher constructive number classes. Essays on the foundations of mathematics, dedicated to A. A. Fraenkel on his seventieth anniversary, edited by Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, and A. Robinson for The Hebrew University of Jerusalem, Magnes Press, Jerusalem 1961, and North-Holland Publishing Company, Amsterdam1962, pp. 190–206.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 135-136
-
- Article
- Export citation
Hilary Putnam. On hierarchies and systems of notations. Proceedings of the American Mathematical Society, vol. 15 (1964), pp. 44–50.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 136-137
-
- Article
- Export citation
C. Spector. Hyperarithmetical quantifiers. Fundamenta mathematicae, vol. 48 no. 3 (1960), pp. 313–320. - Shih-Chao Liu. Recursive linear orderings and hyper arithmetical junctions. Notre Dame journal of formal logic, vol. 3 (1962), pp. 129–132.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 137
-
- Article
- Export citation