Contents
Reviews
Stephen Cole Kleene. Vvédénié v métamatématiku. Russian translation of XIX 215 by A. S. Ésénin-Vol′pin, edited by V. A. Uspénskij. Izdatél′stvo Inostrannoj Litératury, Moscow1957, 526 pp. (and added sheet of corrections). - A. S. Ésénin-Vol′pin. Ot péravodčika (From the translator). Therein, pp. 5–6. - A. S. Ésénin-Vol′pin. Dobavlénié I. Dokazatél′stvo vtoroj téorémy Gëdéla. (Appendix I. Proof of the second theorem of Gödel.) Therein, pp. 459–474. - A. S. Ésénin-Vol′pin. Dobavlénié II. Vospolnénié probêla υ §§49 i 74. (Appendix II. Filling of a gap in §§49 and 74.) Therein, pp. 474–478. - A. S. Ésénin-Vol′pin. Dobavlénié III. O formalizuémosti péréhoda ot (iv) k (v) v dokazatél'stvé téorémy 36. (Appendix III. On the formalizability of the transition from (iv) to (v) in the proof of theorem 36.) Therein, p. 479. - A. S. Ésénin-Vol′pin. Dobavlénié IV. Postroénié formuly B priméra 2 §79. (Appendix IV. Construction of formula B of example 2 §79.) Therein, pp. 479–481. - A. S. Ésénin-Vol′pin. Dobavlénié V. Ob ustranimosti ravénstva i néoprédélénnyh opisanij. (Appendix V. On the eliminability of equality and of indefinite descriptions.) Therein, pp. 481–484. - A. S. Ésénin-Vol′pin. Dobavlénié VI. O formalizacii indukcii do porádkovyhčisél mén′sih ε0 v sistémé gl. IV (po Gil′bértu-Bérnajsu [1939, str. 361–366]). (Appendix VI. On the formalization of induction up to ordinal numbers less than ε0 in the system of Chap. IV (according to Hilbert-Bernays [1939, pp. 361–366]).) Therein, pp. 484–485. - A. S. Ésénin-Vol′pin. Dobavlénié VII. Dokazatél′stvo néprotivoréčivosti klassičéskoj arifmétiki s pomošč′ú indukcii do ε0 (po Sútté). Rezultat P. S. Novikova. (Appendix VII. Proof of the consistency of classical arithmetic with the aid of induction up to ε0 (according to Schütte). A result of P. S. Novikov.) Therein, pp. 485–492.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 280-282
-
- Article
- Export citation
Richard Friedberg. The uniqueness of finite division for recursive equivalence types. Mathematische Zeitschrift, vol. 75 (1961), pp. 3–7.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 363
-
- Article
- Export citation
Moh Shaw-Kwei. Zhe-ch'üeh chu-yi lo-ch'i ti ch'ian-t'an ch'ai-shao (Simplified introduction to intuitionistic logic). Tung-pei Jen-min Ta-hsüeh tse-jan k'o-hsüeh hsüeh-pao, no. 2 (1957), pp. 247–265.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 181
-
- Article
- Export citation
Hugues Leblanc and Theodore Hailperin. Nondesignating singular terms. The philosophical review, vol. 68 (1959), pp. 239–243.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 87-88
-
- Article
- Export citation
Jaakko Hintikka. Existential presuppositions and existential commitments. The journal of philosophy, vol. 56 (1959), pp. 125–137.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 88
-
- Article
- Export citation
H. Weyl. Das Kontinuum. Das Kontinuum und andere Monographien, Chelsea Publishing Company, New York1960. 83 Seiten, darin.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 282-284
-
- Article
- Export citation
Hartley RogersJr., Computing degrees of unsolvability. Mathematische Annalen, vol. 138 (1959). pp. 125–140. - Hartley RogersJr., Computing degrees of unsolvability. 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. 277–283.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 363-364
-
- Article
- Export citation
Moh Shaw-Kwei. Yow-hsian-zhe fang-zhen hsi-t'ung ti kung-li-hua (Axiomatization of many-valued logical systems). Nan-king Ta-hsüeh hsüeh-pao tse-jan k'o-hsüeh pan vol. 1 no. 3, pp. 791–800 (pp. 67–76).
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 181-182
-
- Article
- Export citation
Moh Shaw-Kwei. Lo-chch'i hsi-t'ung ti ting-isei wun-ti (About the rules of procedure). Nan-king Ta-hsüeh hsüeh-pao tse-jan k'o-hsüeh pan vol. 1 no. 3, pp. 801–809 (pp. 77–85).
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 182
-
- Article
- Export citation
G. Kreisel. Non-uniqueness results for transfinite progressions. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 8 no. 5 (1960), pp. 287–290.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 364
-
- Article
- Export citation
K. J. J. Hintikka. Towards a theory of definite descriptions. Analysis (Oxford), vol. 19 no. 4 (1959), pp. 79–85.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 88-89
-
- Article
- Export citation
Albert Châtelet. Allocution prononcée par M. A. Châtelet. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris1958, pp. 11–12. - Th. Skolem. Une relativisation des notions mathématiques fondamentales. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris1958, pp. 13–17. - A. Tarski, M. Krasner, A. Mostowski, R. de Possel. Interventions. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris1958, pp. 17–18.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 284-285
-
- Article
- Export citation
J. H. Woodger. Formalization in biology. Logique et analyse (Louvain), n.s. vol. 1 (1958), pp. 97–104.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 89
-
- Article
- Export citation
Paul Bernays. Remarques sur le problème de la décision en logique élémentaire. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris1958, pp. 39–43. - J. Porte. Intervention. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris1958, p. 44.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 285
-
- Article
- Export citation
A. Mostowski. Examples of sets definable by means of two and three quantifiers. Fundamenta mathematicae, Bd. 42 (1955), S. 259–270.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 364-365
-
- Article
- Export citation
Moh Shaw-Kwei. Kuan-yü shu-lun han-shu ti kow-cheng (On the explicit form of number-theoretic functions). Chinese, with English Abstract.Nan-king Ta-hsüeh hsüeh-pao tse-jan k'o-hsüeh pan vol. 1 no. 1 (1958), pp. 27–31.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 182
-
- Article
- Export citation
A. Mostowski. Contributions to the theory of definable sets and functions. Ebd., S. 271–275.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 365
-
- Article
- Export citation
Haskell B. Curry. On definitions in formal systems. Logique et analyse (Louvain), n.s. vol. 1 (1958), pp. 105–114.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 89-90
-
- Article
- Export citation
Roland Fraïssé. Sur une extension de la polyrelation et des parentés tirant son origine du calcul logique du kème échelon. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris1958, pp. 45–50. - A. Tarski. Intervention. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris1958, p. 50. - René de Possel and Roland Fraïssé. Hypothèses de la théorie des relations qui permettent d'associer, a un bon ordre d'un ensemble, un bon ordre, défini sans ambiguïté, de l'ensemble de ses parties. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris1958, pp. 51–55. - A. Tarski, A. Mostowski. Interventions. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris1958, p. 55.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 285-286
-
- Article
- Export citation
Moh Shaw-Kwei. Yuan-shih ti-k'wei han-shu ti ting-yi (On the definition of primitive recursive functions). Acta mathematica Sinica, vol. 5 (1955), pp. 109–115.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 182
-
- Article
- Export citation