Contents
Reviews
Yoemon Sampei. On the orthogonal expansion of the Boolean polynomial and its applications I. Journal of the Faculty of Science, Hokkaido University, series I, Bd. 11 Heft 3 (1950), S. 113–125. - Yoemon Sampei. On the orthogonal expansion of the Boolean polynomial and its applications II. Commentarii mathematici Universitatis Sancti Pauli, Bd. 1 Heft 2 (1953), S. 51–57.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 401-402
-
- Article
- Export citation
Yoemon Sampei. Some remarks concerning identity. Journal of the Faculty of Science, Hokkaido University, series I, Bd. 11 Heft 3 (1950), S. 109–112.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 402
-
- Article
- Export citation
Kurt Schütte. Die Eliminierbarkeit des bestimmten Artikels in Kodifikaten der Analysis. Mathematische Annalen, vol. 123 (1951), pp. 166–186.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 402
-
- Article
- Export citation
Hao Wang. Arithmetic translations of axiom systems. Transactions of the American Mathematical Society, vol. 71 (1951), pp. 283–293.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 402-403
-
- Article
- Export citation
G. Kreisel. Note on arithmetic models for consistent formulae of the predicate calculus II. Actes du Xlème Congrès International de Philosophie, Volume XIV, Volume complémentaire et communications du Colloque de Logique, North-Holland Publishing Company, Amsterdam1953, und Éditions E. Nauwelaerts, Leuven 1953, S. 39–49.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 403-404
-
- Article
- Export citation
G. Kreisel und Hao Wang. Some applications of formalized consistency proofs. Fundamenta mathematicae, Bd. 42 (1955), S. 101–110.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 404-405
-
- Article
- Export citation
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
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