Reviews
R. M. Yost Jr. Leibniz and philosophical analysis. University of California publications in philosophy, vol. 27. University of California Press, Berkeley and Los Angeles1954, xii + 207 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 171
-
- Article
- Export citation
Miguel Sanchez-Mazas. Sobre un pasaje de Aristóteles y el cálculo lógico de Leibniz. Revista de filosofia (Madrid), vol. 10 (1951), pp. 529–534.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 171-172
-
- Article
- Export citation
Antoni Korcik. Przyczynek do historii rachunku zdań (A contribution to the history of prepositional calculus). Polish, with brief abstracts in Russian and in English. Studio logica (Warsaw), vol. 1 (1953), pp. 247–253.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 172
-
- Article
- Export citation
Antoni Korcik. Zdania egzyslencjalne u Arystotelesa (Existential propositions in Aristotle). Polonia sacra (Kraków), vol. 6 no. 1 (1954), pp. 46–50.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 172
-
- Article
- Export citation
Takeo Sugihara. Aristoteles ni okeru tokusyó to huteisyó (Particular and indefinite propositions in Aristotelian logic). Japanese with English summary. Memoirs of the Liberal Arts College, Fukui University, vol. 3 (1954), pp. 77–86.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 172
-
- Article
- Export citation
Takeo Sugihara. Brouwer ronrigaku no tachi-ronrigaku-teki tokusei (Many-valued logical characteristics of Brouwerian logic). Kagaku, vol. 21 no. 6 (1951), pp. 294–295.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 172-173
-
- Article
- Export citation
Shozo Ômori. Naihó ronrigaku no keiskikika (Formalization of an intensional logic). The proceedings of the Department of Humanities, College of General Education, University of Tokyo, series of philosophy, vol. 3 no. 1 (1953), pp. 129–149.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 173
-
- Article
- Export citation
Jan Łukasiewicz. W sprawie aksjomatyki implikacyjnego rachunku zdań (Concerning an axiom system of the imphcational propositional calculus). VI Zjazd Matematyków Polskich, Warszawa 20-23 IX 1948, supplement to Annates de la Société Polonaise de Mathématique, vol. 22, Kraków1950, pp. 87–92.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 173-174
-
- Article
- Export citation
S. V. Áblonskij. O supérpoziciáh funkcij algébry logiki (On superpositions of functions of the algebra of logic). Matématičéskij sbornik, n.s. vol. 30 (1952), pp. 329–348.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 175
-
- Article
- Export citation
S. V. Áblonskij. O funkcional′noj polnoté v tréhznačnom isčislénii (On functional completeness in the three-valued calculus). Doklady Akadémii Nauk SSSR, vol. 95 (1954), pp. 1153–1155.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 175
-
- Article
- Export citation
Rózsa Péter. Rekursive Definitionen, wobei frühere Funktionswerte von variabler Anzahl verwendet werden. Publicationes mathematicae (Debrecen), vol. 3 (1953), pp. 33–70.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 176
-
- Article
- Export citation
J. R. Myhill. Three contributions to recursive function theory. Actes du XIème Congrès International de Philosophie, Volume XIV, Volume complémentaire et communications du Colloque de Logique, North-Holland Publishing Company, Amsterdam1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 50–59.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 176-177
-
- Article
- Export citation
H. G. Rice. Recursive real numbers. Proceedings of the American Mathematical Society, vol. 5 (1954), pp. 784–791.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 177
-
- Article
- Export citation
John Myhill. Criteria of construclibility for real numbers. The journal of symbolic logic, vol. 18 (1953), pp. 7–10.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 178
-
- Article
- Export citation
John Myhill. On the interpretation of the sign ‘⊃’. The journal of symbolic logic, vol. 18 (1953), pp. 60–62.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 178-179
-
- Article
- Export citation
Leon Henkin. Banishing the rule of substitution for functional variables. The journal of symbolic logic, vol. 18 (1953), pp. 201–208.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 179-180
-
- Article
- Export citation
Alan Rose. The m-valued calculus of non-contradiction. The journal of symbolic logic, vol. 18 (1953), pp. 237–241.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 180-181
-
- Article
- Export citation
Václav Edvard Beneš. A partial model for Quine's “New foundations.”The journal of symbolic logic, vol. 19 (1954), pp. 197–200.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 181
-
- Article
- Export citation
A. S. Ésénin-Vol′pin. Nédokazuémost′ gipotézy Suslina bez pomošči aksiomy vybora v sistémé aksiom Bérnajsa-Mostovskogo (The unprovability of Suslin's hypothesis without the aid of the axiom of choice in the system of axioms of Bernays-Mostowski). Doklady Akadémii Nauk SSSR, vol. 96 (1954), pp. 9–12.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 181-182
-
- Article
- Export citation
Julia Robinson. Existential definability in arithmetic. Transactions of the American Mathematical Society, Bd. 72 (1952), S. 437–449.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 182-183
-
- Article
- Export citation