Contents
Reviews
Alan Rose. An extension of the calculus of non-contradiction. Proceedings of the London Mathematical Society, ser. 2 vol. 54 part 3 (1952), pp. 184–200.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 66-67
-
- Article
- Export citation
Eberhard Fels. Ordnungsrelationen in einer subjektiven Werttheorie. Kontrolliertes Denken, Untersuchungen zum Logikkalkül und zur Logik der Einzelwissenschaften (Festschrift für Wilhelm Britzelmayr), edited by Albert Menne, Alexander Wilhelmy, and Helmut Angstl, rotaprint, Kommissions-Verlag Karl Alber, Munich1951, pp. 38–50.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 329-330
-
- Article
- Export citation
N. N. Vorob'év. Konstruktivnoé isčislénié vyskazyvanij s sil'nym otricaniém (A constructive propositional calculus with strong negation). Doklady Akadémii Nauk SSSR, vol. 85 (1952), pp. 465–468.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 257-258
-
- Article
- Export citation
Maria Kokoszyńska. What means “relativity of truth”?Stadia philosophica (Poznań), vol. 3 (for 1939–46, pub. 1948), pp. 167–176. - Maria Kokoszyńska. A refutation of the relativism of truth. Stadia philosophica (Poznań), vol. 4 (for 1949–50, pub. 1951), pp. 93–149.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 170-171
-
- Article
- Export citation
Henryk Mehlberg. Positivisme et science. Première partie. Analyse logique du postulat de vérificabilité. Stadia philosophica (Poznań), vol. 3 (for 1939–46, pub. 1948), pp. 211–294.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 171-173
-
- Article
- Export citation
Hasso Härlen. Elementares über 2-wertige Funktionen von 2-wertigen Variabeln. Kontrolliertes Denken, Untersuchungen zum Logikkalkül und zur Logik der Einzelwissenschaften (Festschrift für Wilhelm Britzelmayr), edited by Albert Menne, Alexander Wilhelmy, and Helmut Angstl, rotaprint, Kommissions-Verlag Karl Alber, Munich1951, pp. 51–55.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 330
-
- Article
- Export citation
Thoralf Skolem. On the proofs of independence of the axioms of the classical sentential calculus. Det Kongelige Norske Videnskabers Selskab, Forhandlinger, vol. 24 (1951), pp. 20–25.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 67
-
- Article
- Export citation
N. N. Vorob'év. Probléma vyvodimosti v konstruktivnom isčislénii vyskazyvanij s sil'nym otricaniém (The problem of deducibility in the constructive propositional calculus with strong negation). Doklady Akadémii Nauk SSSR, vol. 85 (1952), pp. 689–692.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 258
-
- Article
- Export citation
Józef Iwanicki. Dedukcja naturalna i logistyczna (Natural and logistic deduction). Polskie Towarzystwo Teologiczne, Warsaw1949, XVI + 164 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 173-174
-
- Article
- Export citation
R. L. Goodstein. Constructive formalism. Essays on the foundations of mathematics. University College, Leicester, England, 1951, 91 pp. - R. L. Goodstein. The foundations of mathematics. An inaugural lecture delivered at the University College of Leicester 13th November 1951. University College, Leicester, England, pub. 1952, 27 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 258-260
-
- Article
- Export citation
Henry Löwig. On transitive Boolean relations. Czechoslovak mathematical journal, vol. 1 (76) no. 4 (1952), pp. 199–201.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 67
-
- Article
- Export citation
Erwin Koschmieder. Aus den Beziehungen von Sprache und Logik, Kontrolliertes Denken, Untersuchungen zum Logikkalkül und zur Logik der Einzelwissenschaften (Festschrift für Wilhelm Britzelmayr), edited by Albert Menne, Alexander Wilhelmy, and Helmut Angstl, rotaprint, Kommissions-Verlag Karl Alber, Munich1951, pp. 79–91.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 330
-
- Article
- Export citation
Paul Lorenzen. Gleichheit und Ungleichheit in der Arithmetik. Mathematische Nachrichten, Bd. 1 (1948), S. 337–341.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 260
-
- Article
- Export citation
Edmund C. Berkeley. A summary of symbolic logic and its practical applications. Manifolded, unbound. Edmund C. Berkeley and Associates, New York1951, 24 pp. [With separate sheet of Errata, 1952.] - Edmund C. Berkeley. A summary of symbolic logic and its practical applications. Second printing, mimeographed pamphlet. Edmund C. Berkeley and Associates, New York1952, 24 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 68
-
- Article
- Export citation
Georg H. v. Wright. An essay in modal logic. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1951, VII + 90 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 174-176
-
- Article
- Export citation
Albert Menne. Zur Stufenkoppelung monadischer bivalenter Funktoren. Kontrolliertes Denken, Untersuchungen zum Logikkalkül und zur Logik der Einzelwissenschaften (Festschrift für Wilhelm Britzelmayr), edited by Albert Menne, Alexander Wilhelmy, and Helmut Angstl, rotaprint, Kommissions-Verlag Karl Alber, Munich1951, pp. 92–102.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 330
-
- Article
- Export citation
D. M. McCallum and J. B. Smith. Feedback logical computors. Electronic engineering, vol. 23 (1951), pp. 458–461.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 68
-
- Article
- Export citation
G. H. von Wright. Interpretations of modal logic. Mind, n.s. vol. 61 (1952), pp. 165–177.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 176-177
-
- Article
- Export citation
Paul Lorenzen. Konstruktive Begründung der Mathematik. Mathematische Zeitschrift, Bd. 53 Heft 2 (1950), S. 162–202.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 260-261
-
- Article
- Export citation
Gerhard Stammler. Zur philosophischen Neugestaltung der logischen Urteilslehre. Kontrolliertes Denken, Untersuchungen zum Logikkalkül und zur Logik der Einzelwissenschaften (Festschrift für Wilhelm Britzelmayr), edited by Albert Menne, Alexander Wilhelmy, and Helmut Angstl, rotaprint, Kommissions-Verlag Karl Alber, Munich1951, pp. 103–113.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 330
-
- Article
- Export citation