Reviews
Leo Simons. New axiomatizations of S3 and S4. The journal of symbolic logic, vol. 18 (1953), pp. 309–316.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 293-294
-
- Article
- Export citation
Ruth Barcan Marcus. Strict implication, deducibility, and the deduction theorem. The journal of symbolic logic, vol. 18 (1953), pp. 234–236.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 294
-
- Article
- Export citation
R. Feys. Oudere en nieuwe modaliteitenlogica (Old and new logic of modalities). Handelingen van het Negentiende Vlaamse Filologencongres, Brussels1951, pp. 284–289.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 294
-
- Article
- Export citation
A. N. Prior. Three-valued logic and future contingents. The philosophical quarterly (St. Andrews), vol. 3 (1953), pp. 317–326.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 294
-
- Article
- Export citation
Alan Rose. Some self-dual primitive functions for propositional calculi. Mathematische Annalen, vol. 126 (1953), pp. 144–148.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 294-295
-
- Article
- Export citation
Alan Rose. A formalisation of the 2-valued propositional calculus with self-dual primitives. Mathematische Annalen, vol. 127 (1954), pp. 255–257.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 295
-
- Article
- Export citation
Wilhelm Ackermann. Widerspruchsfreier Aufbau einer typenfreien Logik. (Erweitertes System). Mathematische Zeitschrift, vol. 55 (1952), pp. 364–384. - Wilhelm Ackermann. Widerspruchsfreier Aufbau einer typenfreien Logik. II. Mathematische Zeitschrift, vol. 57 (1953), pp. 155–166.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 295-296
-
- Article
- Export citation
G. F. C. Griss. Negationless intuitionistic mathematics II, III, IV. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings of the section of sciences, vol. 53 (1950), pp. 456–463, and series A, vol. 54 (1951), pp. 193–199, 452–471; also Indagationes mathematicae, vol. 12 (1950), pp. 108–115, and vol. 13 (1951), pp. 193–199, 452–471.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 296-297
-
- Article
- Export citation
N. A. Šanin. O nékotoryh opéraciáh nad logiko-arifmétičéskimi formulami (Some operations on logico-arithmetical formulas). Doklady Akadémii Nauk SSSR, vol.93 (1953), pp. 779–782. - N. A. Šanin. O pogružéniáh klassičéskogo logiko-arifmétičéskogo isčisléniá v konstruktivnoé logiko-arifmétičéskoé isčislénié (On imbeddings of the classical logico-arithmetical calculus into the constructive logico-arithmetical calculus). Doklady Akadémii Nauk SSSR, vol. 94 (1954), pp. 193–196.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 297-298
-
- Article
- Export citation
Paul Lorenzen. Über das Prinzip “ex falso quodlibet.”Methodos, Bd. 3 (1951), S. 43–46.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 298
-
- Article
- Export citation
oΘΩn ΠϒΛΑΡΙΝΟΣ. Ἡ ἀξιωματιϰὴ μέθοδος (The axiomatic method). Ἐϰδοτιϰὸς Οἴϰος I. ϰαὶ Π. Ζαχαροπύλου, Athens1948, 32 pp. - S. Jaśkowski. Une modification des définitions fondamentales de la géométrie des corps de M.A. Tarski. Annates de la Société Polonaise de Mathématique, vol. 21 (1948), pp. 298–301.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 298
-
- Article
- Export citation
Stanisław Jaśkowski. Quelques problèmes actuels concernant les fondements des mathématiques (Pewne aktualne zagadnienia z zakresu podstaw matematyki). French with Polish résumé. Časopis pro pěstováni matematiky a fysiky, vol. 74 no. 2 (for 1949, pub. 1950), pp. 74–78.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 298
-
- Article
- Export citation
Ilona Bereczki. Nem elemi rekurzív függvény létezése (Existenz einer nichtelementaren rekursiven Funktion). Ungarisch, mit deutschem Auszug, und kurzem russischem Auszug. Az Első Magyar Matematikai Kongresszus közleményei 1950. augusztus 27. - szeptember 2 – Comptes rendus du Premier Congrès des Mathématiciens Hongrois 27 août - 2 septembre 1950, publié avec le soutien de l'Académie des Sciences de Hongrie par la Société Mathémetique János Bolyai, Budapest1952, S. 409–417.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 298-299
-
- Article
- Export citation
A. Mostowski. A lemma concerning recursive functions and its applications. Bulletin de l'Académie Polonaise des Sciences, Classe III, Bd. 1 (1953), S. 277–280.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 299-300
-
- Article
- Export citation
Yehoshua Bar-Hillel. On recursive definitions in empirical sciences. Actes du XIème Congrès International de Philosophie, Volume V, Logique, analyse philosophique, philosophie des mathématiques, North-Holland Publishing Company, Amsterdam1953, and Éditions E. Nauwelaerts, Louvain, 1953, pp. 160–165.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 300
-
- Article
- Export citation
Yehoshua Bar-Hillel. A note on comparative inductive logic. The British journal for the philosophy of science, vol. 3 (1952–1953), pp. 308–310.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 300-301
-
- Article
- Export citation
John G. Kemeny. A logical measure function. The journal of symbolic logic, vol. 18 (1953), pp. 289–308.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 301-302
-
- Article
- Export citation
F. C. Copleston. Bertrand Russell. Revista de filosofia (Madrid), vol. 9 (1950), pp. 261–278.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 302
-
- Article
- Export citation
Alejandro Diez Blanco. Nuevas logicas. Revista de filosofia (Madrid), vol. 10 (1951), pp. 43–83.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 302
-
- Article
- Export citation
P. Hoenen. Recherches de logique formelle. La structure du système des syllogismes et des sorites - la logique des notions “au moins” et “tout au plus.” Analecta Gregoriana, vol. 43. Aedes Universitatis Gregorianae, Rome1947, vii + 384 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 302-303
-
- Article
- Export citation