Contents
Reviews
Alfred Tarski. Contributions to the theory of models. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 57 (1954), pp. 572–588, and vol. 58 (1955), pp. 56–64; also Indagationes mathematicae, vol. 16 (1954), pp. 572–588, and vol. 17 (1955), pp. 56–64.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 405-406
-
- Article
- Export citation
Chen-Chung Chang. Some general theorems on direct products and their applications in the theory of models. Ibid., vol. 57 (1954), pp. 592–598; also ibid., vol. 16 (1954), pp. 592–598.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 406
-
- Article
- Export citation
Front matter
JSL volume 21 issue 1 Cover and Front matter and Errata
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f7
-
- Article
-
- You have access
- Export citation
Reviews
B. S. Sodnomov. Ṅéprotivoréčivost' proéktivnoj océnki nékotoryh néefféktivnyh, množéstv (Consistency of the projective evaluation of non-effective sets). Uspéhi matématičéskih nauk, vol. 10 no. 1 (1955), pp. 155–158.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 406-407
-
- Article
- Export citation
S. C. Kleene and Emil L. Post. The upper semi-lattice of degrees of recursive unsolvability. Annals of mathematics, ser. 2 vol. 59 (1954), pp. 379–407.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 407-408
-
- Article
- Export citation
V. K. Détlovs. Normal'nyé algorifmy i rékursivnyé funkcii (Normal algorithms and recursive functions). Doklady Akadémii Nauk SSSR, vol. 90 (1953), pp. 723–725.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 408
-
- Article
- Export citation
G. S. Céjtin. O téorémé Koši v konstruktivnom analizé (On Cauchy's theorem in constructive analysis). Uspéhi matématičéskih nauk, vol. 10 no. 4 (1955), pp. 207–209.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 408-409
-
- Article
- Export citation
I. D. Zaspavskij. Oprovèržénié nékotoryh téorém klassičéskogo analiza v konstruktivnom analizé (Disproof of some theorems of classical analysis in constructive analysis), Ibid., pp. 209–210.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 409
-
- Article
- Export citation
S. C. Kleene. Arithmetical predicates and function quantifiers. Transactions of the American Mathematical Society, Bd. 79 (1955), S. 312–340.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 409-410
-
- Article
- Export citation
S. C. Kleene. On the forms of predicates in the theory of constructive ordinals (second paper). American journal of mathematics, Bd. 77 (1955), S. 405–428.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 410-411
-
- Article
- Export citation
S. C. Kleene. Hierarchies of number-theoretic predicates. Bulletin of the American Mathematical Society, Bd. 61 (1955), S. 193–213.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 411-412
-
- Article
- Export citation
Clifford Spector. Recursive well-orderings. The journal of symbolic logic, Bd. 20 (1955), S. 151–163.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 412-413
-
- Article
- Export citation
Other
Related Citations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 413-414
-
- Article
- Export citation
Institutional contributing subscribers to the Journal
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 414
-
- Article
- Export citation
List of officers and members of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 415-426
-
- Article
- Export citation
Front matter
JSL volume 21 issue 4 Cover and Front matter and Errata
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f6
-
- Article
-
- You have access
- Export citation