Reviews
Karl R. Popper. A note on Tarski's definition of truth. Mind, n.s. vol. 64 (1955), pp. 388–391.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 365
-
- Article
- Export citation
Hao Wang. Truth definitions and consistency proofs. Transactions of the American Mathematical Society, vol. 73 (1952), pp. 243–275.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 365-367
-
- Article
- Export citation
Joseph R. Shoenfield. A relative consistency proof. The journal of symbolic logic, vol. 19 (1954), pp. 21–28.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 367
-
- Article
- Export citation
Paul Bernays. A system of axiomatic set theory — Part VII. The journal of symbolic logic, vol. 19 (1954), pp. 81–96.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 367-368
-
- Article
- Export citation
E. Specker. Die Antinomien der Mengenlehre. Dialectica, vol. 8 (1954), pp. 234–244.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 368
-
- Article
- Export citation
Paul Lorenzen. Dar, Aktual-Unendliche in der Mathematik. Philosophia naturalis, vol. 4 (1957), pp. 1–11. - Paul Lorenzen. Die Rolle der Logik in der Grundlagenkrisis der Analysis. 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, Gauthier-Villars, Paris1954, and E. Nauwelaerts, Louvain 1954, pp. 65–73. - G. Kurepa, G. Kreisel, A. Robinson. 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, Gauthier-Villars, Paris1954, and E. Nauwelaerts, Louvain 1954, pp. 73–74.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 368
-
- Article
- Export citation
Paul Lorenzen. Die Fiktion der Überabzählbarkeit. Proceedings of the International Congress of Mathematicians 1954, Amsterdam September 2-September 9, Volume III, Erven P. Noordhoff N.V., Groningen1956, and North-Holland Publishing Co., Amsterdam 1956, pp. 273–279.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 368-369
-
- Article
- Export citation
E. W. Beth. L'état actuel du problème logique des antinomies. Congrès International de Philosophie des Sciences, Paris 1949, II Logique, Actualités scientifiques et industrielles 1134, Hermann & Cie, Paris1951, S. 7–14.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 369
-
- Article
- Export citation
J. Richard Büchi and Jesse B. Wright. The theory of proportionality as an abstraction of group theory. Mathematische Annalen, vol. 130 no. 2 (1955), pp. 102–108.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 369
-
- Article
- Export citation
Alfred Tarski. A lattice-theoretical fixpoint theorem and its applications. Pacific journal of mathematics, Bd. 5 (1955), S. 285–309.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 370
-
- Article
- Export citation
A. Białynicki-Birula and H. Rasiowa. On the representation of quasi-Boolean algebras. Bulletin de l'Académie Polonaise des Sciences, Classe III, Bd. 5 (1957), S. 259–261.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 370
-
- Article
- Export citation
Hyman Kamel. Relational algebra and uniform spaces. The journal of the London Mathematical Society, vol. 29 (1954), pp. 342–344.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 370-371
-
- Article
- Export citation
Roland Fraïssé. Sur quelques classifications des systèmes de relations. French with English Summary. Publications scientifiques de l'Université d'Alger, Série A, Sciences mathématiques, vol. 1 no. 1 (for 1954, pub. 1955), pp. 35–182. - Roland Fraïssé. Sur quelques classifications des systèmes de relations. Thèses présentées à la Faculté des Sciences de l'Université de Paris. Imprimerie Durand, Chartres1955, 154 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 371-372
-
- Article
- Export citation
William W. Boone. Certain simple, unsolvable problems of group theory I–IV. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 57 (1954), pp. 231–237, 492–497, and vol. 58 (1955), pp. 252–256, 571–577; also Indagationes mathematicae, vol. 16 (1954), pp. 231–237, 492–497, and vol. 17 (1955), pp. 252–256, 571–577.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 372-373
-
- Article
- Export citation
William W. Boone. Certain simple, unsolvable problems of group theory V–VI. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 60 (1957), pp. 22–27, 227–232; also Indagationes mathematicae, vol. 19 (1957), pp. 22–27, 227–232.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 373-374
-
- Article
- Export citation
Werner Markwald. Ein Satz über die elementararithmetischen Definierbarkeitsklassen. Archiv für mathematische Logik und Grundlagenforschung, vol. 2 no. 2–4 (1956), pp. 78–86; also Archiv für Philosophie vol. 5 no. 4 (1956), pp. 398–406.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 374
-
- Article
- Export citation
Clifford Spector. On degrees of recursive unsolvability. Annals of mathematics, ser. 2 vol. 64 (1956), pp. 581–592.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 374-375
-
- Article
- Export citation
H. G. Rice. Recursive and recursively enumerable orders. Transactions of the American Mathematical Society, vol. 83 (1956), pp. 277–300.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 375
-
- Article
- Export citation
S. C. Kleene. Errata. Arithmetical predicates and function quantifiers. Transactions of the American Mathematical Society, vol. 80 (1955), p. 386, and vol. 81 (1956), p. 524.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 375
-
- Article
- Export citation
Raphael M. Robinson. Primitive recursive functions. II. Proceedings of the American Mathematical Society, Bd. 6 (1955), S. 663–666.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 375-376
-
- Article
- Export citation