Reviews
Theodore Hailperin. A complete set of axioms for logical formulas invalid in some finite domains. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 84–96.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 108-109
-
- Article
- Export citation
Shôji Maehara. Gentzen's theorem on an extended predicate calculus. Proceedings of the Japan Academy, vol. 30 no. 10 (1954), pp. 923–926.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 109
-
- Article
- Export citation
Shôji Maehara. The predicate calculus with ε-symbol. Journal of the Mathematical Society of Japan, vol. 7 (1955), pp. 323–344.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 109
-
- Article
- Export citation
Shôji Maehara. Equality axiom on Hubert's ε-symbol. Journal of the Faculty of Science, University of Tokyo, Sec. I, vol. 7 (1957), pp. 419–435.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 109-110
-
- Article
- Export citation
Gaisi Takeuti. Remarks on the truth definition. Journal of the Mathematical Society of Japan, vol. 13 (1961), pp. 207–209.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 110
-
- Article
- Export citation
E. W. Beth. Completeness results for formal systems. Proceedings of the International Congress of Mathematicians, 14–21 August 1958, Cambridge at the University Press1960, pp. 281–288.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 110
-
- Article
- Export citation
Ronald Harrop. Concerning formulas of the types A → B v C, A → (Ex)B(x) in intuitionistic formal systems. The journal of symbolic logic, vol. 25 no. 1 (for 1960, pub. 1961), pp. 27–32.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 110-111
-
- Article
- Export citation
Ivo Thomas. Independence of Tarski's law in Henkin's prepositional fragments. Notre Dame journal of formal logic, vol. 1 (1960), pp. 74–78.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 111
-
- Article
- Export citation
Ivo Thomas. Functional completeness of Henkin's prepositional fragments. Notre Dame journal of formal logic, vol. 1 (1960), pp. 107–110.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 111
-
- Article
- Export citation
J. Barkley Rosser. Axiomatization of infinite valued logics. Logique et analyse (Louvain), n.s. vol. 3 (1960), pp. 137–153.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 111-112
-
- Article
- Export citation
Maria de la Cinta Badillo. Fundamentos en relación con lógica simbólica polivalente. Gaceta matemática, ser. 1 vol. 7 (1955), pp. 7–13.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 112
-
- Article
- Export citation
Maria de la Cinta Badillo Barallat. Aplicación de la lógica polivalente a la teoria de números. Gaceta matemática, ser. 1 vol. 10 (1958), pp. 76–81.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 112
-
- Article
- Export citation
M. C. Badillo Barallat. Automatización de los silogismos en una lógica polivalente. Revista de cálculo automatico y cibernética, vol. 5 (1956), pp. 1–10.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 112
-
- Article
- Export citation
M. C. Badillo. Lógica trivalente en la automatización de los circuitos. Revista de cálculo automatico y cibernética, vol. 6 (1957), pp. 1–7.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 112-113
-
- Article
- Export citation
Ivo Thomas and Don Orth. Axioms for the “Gergonne”-relations. The journal of symbolic logic, t. 24, n° 4 (pour 1959, pub. 1961), p. 305.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 113
-
- Article
- Export citation
Ivo Thomas. Independence of Faris-rejection-axioms. Notre Dame journal of formal logic, vol. 1 (1960), pp. 48–51.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 113
-
- Article
- Export citation
Timothy Smiley. On Łukasiewicz's Ł-modal system. Notre Dame journal of formal logic, vol. 2 (1961), pp. 149–153.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 113
-
- Article
- Export citation
Nicholas Rescher. Conditional permission in deontic logic. Philosophical studies (Minneapolis), vol. 13 (1962), pp. 1–6. - Alan Ross Anderson. Reply to Mr. Rescher. Philosophical studies (Minneapolis), vol. 13 (1962), pp. 6–8.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 113-114
-
- Article
- Export citation
Sibajiban. Can doubt be doubted?Mind, n.s. vol. 69 (1960), pp. 84–87.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 114
-
- Article
- Export citation
A. N. Prior. The syntax of time-distinctions. Franciscan studies, vol. 18 no. 2 (1958), pp. 105–120.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 114-115
-
- Article
- Export citation