Reviews
Raphael M. Robinson. Arithmetical definability of field elements. The journal of symbolic logic, Bd. 16 (1951), S.125–126.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 270
-
- Article
- Export citation
Julio Rey Pastor, Pedro Pi Calleja, César A. Trejo. Análisis matemático. Vol. I. Análisis algebraico—Teoría de ecuaciones—Cálculo infinitesimal de una variable. Editorial Kapelusz, Buenos Aires1952, XXVII + 817 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 201
-
- Article
- Export citation
V. P. Tugarinov and L. É. Majstrov. Protiv idéalizma, v matématiˇéskoj logiké (Versus idealism in mathematical logic). Voprosy filsofii, no. 3 (1950), pp. 331–339. - S. A. Ánovskaá. Pis'mo v rédakciú (Letter to the editors). Voprosy filsofii, no. 3 (1950), pp. 339–342.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 128-129
-
- Article
- Export citation
Arnold Schmidt. Wie dürfen wir mit dem Unendlichen umgehen? (Die Grundlage des mathematischen Intuitionismus.)Mathematisch-physikalische Semesterberichte zur Pflege des Zusammenhangs von Schule und Universität (Gottingen), vol. 1 no. 3–4 (1950), pp. 200–212.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 62
-
- Article
- Export citation
A. V. Kuznécov. O primitivno rékursivnyh funkciáh bol'šogo razmaha (Über umfangsreiche primitiv-rekursive Funktionen). Doklady Akadémii Nauk SSSR, Bd. 71 (1950), S.233–236.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 270-271
-
- Article
- Export citation
Giovanni Ricci. Elementi di teoria dei numeri. Repertorio di matematiche, a cur a di Mario Villa, Casa Editrice Dott. A. Milani, Padua1951, pp. 1–61.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 201
-
- Article
- Export citation
Zyoiti Suetuna. Sûri to ronri (Mathematics and logic). Kôbundosyohô, Tokyo1947, 103 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 62-63
-
- Article
- Export citation
Jose Ferrater Mora. Diccionario de filosofia. Third edition. Editorial Sudamericana, Buenos Aires1951, 1047 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 129-130
-
- Article
- Export citation
José Ferrater Mora. Esquema para una historia de la Iógica. Asomanle (San Juan, Puerto Rico), vol. 4 no. 4 (1948), pp. 5–16. - José Ferrater Mora. Quí es la logistica?Notas y estudios de filosofta (Tucumán), vol. 1 no. 1 (1949), pp. 2–10. - Nelson Goodman. The structure of appearance. Harvard University Press, Cambridge, Mass., 1951, XV + 315 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 130-133
-
- Article
- Export citation
G. H. von Wright. On double quantification. Societas Scientiarum Fennica, Commentationes physico-mathematicae, Bd. 16, Nr. 3. Helsingfors1952, 14 S.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 201-203
-
- Article
- Export citation
I. I. Zégalkin (I. Gégalkine). Probléma razréšimosti na konéčnyh klassah (Sur le problème de la résolubilité pour les classes finies). Russian with French abstract. Moskovskij Gosudarstvénnyj Univérsitét, Učényé zapiski, no. 100 (Matématika, vol. 1) (1946), pp. 155–211.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 271
-
- Article
- Export citation
Zyoiti Suetuna. Sûgakuleki sonzai ni tuite (On mathematical existence). Kisokagaku, vol. 1 no. 1 (1947), pp. 1–3.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 63
-
- Article
- Export citation
Andrzej Mostowski. On direct products of theories. The journal of symbolic logic, vol. 17 (1952), pp. 1–31.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 203-204
-
- Article
- Export citation
G. Hasenjaeger. Über ω-Unvollständigkeit in der Peano-Arithmelik. The journal of symbolic logic, vol. 17 (1952), pp. 81–97.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 271-272
-
- Article
- Export citation
Alonzo Church. A formulation of the logic of sense and denotation. Structure, method and meaning, Essays in honor of Henry M. Sheffer, edited by Paul Henle, Horace M. Kallen, and Susanne K. Langer, The Liberal Arts Press, New York1951, pp. 3–24.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 133-134
-
- Article
- Export citation
Zyoiti Suetuna. Sûgaku ni okeru mugen no haaku (Understanding of infinity in mathematics). Kisokagaku, vol. 2 no. 1 (1948), pp. 68–70 (no. 3, pp. 4–6).
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 63
-
- Article
- Export citation
Paul Bernays. Über das Indukttonsschema in der rekursiven Zahlentheorie. Kontrolliertes Denken, Untersuchungen zum Logikkalkül und zur Logik der Einzelwissenschaften, rotaprint, Kommissions-Verlag Karl Alber, Munich 1951, pp. 10–17.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 272-273
-
- Article
- Export citation
Zyoiti Suetuna. Sûgaku no kiso wo nasu tyokkan ni tuite (On the intuition which forms the foundation of mathematics). Kisokagaku, vol. 3 no. 5 (1949), pp. 347–350 (no. 12, pp. 1–4).
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 63
-
- Article
- Export citation
Hans Reichenbach. The verifiability theory of meaning. Proceedings of the American Academy of Arts and Sciences, vol. 80 no. 1 (1951), pp. 46–60. - Carl G. Hempel. The concept of cognitive significance: a reconsideration. Proceedings of the American Academy of Arts and Sciences, vol. 80 no. 1 (1951), pp. 61–77. - Gustav Bergmann. Comments on Professor Hempel's “The concept of cognitive significance.”Proceedings of the American Academy of Arts and Sciences, vol. 80 no. 1 (1951), pp. 78–86.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 134-136
-
- Article
- Export citation
Alan Rose. An extension of computational logic. The journal of symbolic logic, vol. 17 (1952), pp. 31–34.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 203-204
-
- Article
- Export citation