Contents
Reviews
Shih-Chao Liu. Four types of general recursive well-orderings. Notre Dame journal of formal logic, vol. 3 (1962), pp. 75–78.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 255-256
-
- Article
- Export citation
Front matter
JSL volume 30 issue 1 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Reviews
Heinz Gumin und Hans Hermes. Die Soundness des Prädikatenkalküls auf der Basis der Quineschen Regeln. Archiv für mathematische Logik und Grundlagenforschung, Bd. 2 Heft 2–4 (1956), S. 68–77; auch Archiv für Philosophie, Bd. 5 Heft 4 (1956), S. 388–397.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 386-387
-
- Article
- Export citation
Back matter
JSL volume 30 issue 1 Cover and Back matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
-
- Article
-
- You have access
- Export citation
Reviews
A. H. Lachlan. Recursive real numbers. The journal of symbolic logic, vol. 28 no. 1 (for 1963, pub. 1964), pp. 1–16.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 256
-
- Article
- Export citation
Andrzej Grzegorczyk. Uzasadnianie aksjomatów teorii matematycznych (On the validation of the sets of axioms in mathematical theories). Polnisch mit russischer und englischer Zusammenfassung. Stadia logica, Bd. 13 (1962), S. 197–202.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 387
-
- Article
- Export citation
Related Citations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 256-259
-
- Article
- Export citation
Other
Annual Meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 260
-
- Article
- Export citation
Reviews
Andrzej Grzegorczyk. On the concept of categoricity. Englisch mit polnischer und russischer Zusammenfassung. Ebd., Bd. 13 (1962), S. 39–66. - A. Grzegorzyk. A kind of categoricity. Colloquium mathematicum, Bd. 9 Heft 2 (1962), S. 183–187.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 387-388
-
- Article
- Export citation
Other
Abstracts
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 260-270
-
- Article
- Export citation
Reviews
Solomon Feferman. Classifications of recursive functions by means of hierarchies. Transactions of the American Mathematical Society, Bd. 104 (1962), S. 101–122.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 388-389
-
- Article
- Export citation
Other
Notice of a symposium
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 270
-
- Article
- Export citation
Reviews
J. C. Shepherdson. A non-standard model for a free variable fragment of number theory. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 12 (1964), pp. 79–86.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 389-390
-
- Article
- Export citation
Burton S. Dreben. Solvable Surányi subclasses: an introduction to the Herbrand theory. Proceedings of a Harvard symposium on digital computers and their applications, 3-6 April 1961, The annals of the Computation Laboratory of Harvard University, vol. 31, Harvard University Press, Cambridge, Mass., 1962, pp. 32–47.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 390-391
-
- Article
- Export citation
Front matter
JSL volume 30 issue 2 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Reviews
Richard Goldberg. On the solvability of a subclass of the Surányi reduction class. The journal of symbolic logic, vol. 28 no. 3 (for 1963, pub. 1964), pp. 237–244.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 391
-
- Article
- Export citation
Back matter
JSL volume 30 issue 2 Cover and Back matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
-
- Article
-
- You have access
- Export citation
Reviews
A. Nerode. A decision method for p-adic integral zeros of diophantine equations. Bulletin of the American Mathematical Society, vol. 69 (1963), pp. 513–517.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 391
-
- Article
- Export citation
S. I. Adán. Nérazréšimost′ nékotoryh algoritmičéskih problém térii grupp (Unsolvability of certain algorithmic problems in the theory of groups). Trudy Moskovskogo Matématičéskogo Obščéstva, vol. 6 (1957), pp. 231–298.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 391
-
- Article
- Export citation
Raymond M. Smullyan. Creativity and effective inseparability. Transactions of the American Mathematical Society, vol. 109 (1963), pp. 135–145.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 391-392
-
- Article
- Export citation