Contents
Reviews
Alexander Wilhelmy. Traditionelle Logik und positiver Aussagenkalkül. 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. 114–119.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 330-331
-
- Article
- Export citation
W. Mays. Mechanized reasoning. Electronic engineering, vol. 23 (1951), p. 278. - D. M. McCallum and J. B. Smith. The authors reply. Electronic engineering, vol. 23 (1951)
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 68-69
-
- Article
- Export citation
Paul Lorenzen. Die Widerspruchsfreiheit der klassischen Analysis. Ebd., Bd. 54 Heft 1 (1951), S. 1–24.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 261-262
-
- Article
- Export citation
Alonzo Church. The weak theory of implication. Kontrolliertes Denken, Untersuchungen zum Logikkalkül unci zur Logik der Einzelwissenschaften, rotaprint, Kommissions-Verlag Karl Alber, Munich1951, pp. 22–37.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 177-178
-
- Article
- Export citation
W. Mays and D. P. Henry. Logical machines. New light on W. Stanley Jevons. The Manchester guardian, no. 32677 (07 14, 1951), B, p. 4.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 69
-
- Article
- Export citation
Erik Stenius. Das Interpretationsproblem der formalisierten Zahlentheorie und ihre formate Widerspruchsfreiheit. Acta Academiae Aboensis, vol. 18 no. 3. Åbo Akademi, Åbo1952, 102 pp. With separate sheet of Berichtigungen.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 262-263
-
- Article
- Export citation
Boleslaw Sobociński. L'analyse de l'antinomie russellienne par Leśniewski. Methodos, vol. 1 (1949), pp. 94–107, 220–228, 308–316, and vol. 2 (1950), pp. 237–257.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 331-333
-
- Article
- Export citation
Alonzo Church. Brief bibliography of formal logic. Proceedings of the American Academy of Arts and Sciences, vol. 80 no. 2 (1952), pp. 155–172.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 178
-
- Article
- Export citation
I. M. Bocheński. Non-analytical laws and rules in Aristotle. Methodos, vol. 3 (1951), pp. 70–80.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 333-334
-
- Article
- Export citation
Baruch Germansky. (Problem). Riveon lematematika, vol. 6 (1952–1953), p. 79.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 263
-
- Article
- Export citation
W. Mays and D. P. Henry. Exhibition of the work of W. Stanley Jevons. Nature, vol. 170 (1952), pp. 696–697.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 69
-
- Article
- Export citation
Arthur W. Burks. The logic of programming electronic digital computers. Industrial mathematics (Detroit), vol. 1 (1950), pp. 36–52.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 179
-
- Article
- Export citation
Rózsa Péter. Probleme der Hilbertschen Theorie der höheren Stufen von rekursiven Funktionen. German with Russian abstract. Acta mathematica Academiae Scientiarum Hungaricae, vol. 2 (1951), pp. 247–274.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 263-264
-
- Article
- Export citation
Nelson Goodman. New notes on simplicity. The journal of symbolic logic, vol. 17 (1952), pp. 189–191.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 179
-
- Article
- Export citation
Johannes Bendiek. Die Lehre von den Konsequenzen bei Pseudo-Scotus. Franziskanische Studien, vol. 34 (1952), pp. 205–234.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 334
-
- Article
- Export citation
R. C. Lyndon. Identities in two-valued calculi. Transactions of the American Mathematical Society, vol. 71 (1951), pp. 457–465.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 69-70
-
- Article
- Export citation
Bjarni Jónsson and Alfred Tarski. Boolean algebras with operators. American journal of mathematics, vol. 73 (1951), pp. 891–939, and vol. 74 (1952), pp. 127–162.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 70-71
-
- Article
- Export citation
Philotheus Boehner. Does Ockham know of material implication?. Franciscan Studies, vol. 11 (1951), pp. 203–230.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 334-335
-
- Article
- Export citation
János Surányi. Contributions to the reduction theory of the decision problem. Second paper. Three universal, one existential quantifiers. English with Russian abstract. Acta mathematica Academiae Scientiarum Hungaricae, vol. 1 (1950), pp. 261–271.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 264
-
- Article
- Export citation
J. Barkley Rosser. The axiom of infinity in Quine's New foundations. The journal of symbolic logic, vol. 17 (1952), pp. 238–242.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 179
-
- Article
- Export citation