Research Article
Concatenation as basis for a complete system of arithmetic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-6
-
- Article
- Export citation
Criteria of constructibility for real numbers
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 7-10
-
- Article
- Export citation
On truth and multiple denotation
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 11-18
-
- Article
- Export citation
Some notes on nominalism
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 19-29
-
- Article
- Export citation
On axiomatizability within a system
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 30-32
-
- Article
- Export citation
Arithmetical problems and recursively enumerable predicates1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 33-41
-
- Article
- Export citation
Eine Bemerkung zu Henkin's Beweis für die Vollständigkeit des Prädikatenkalküls der ersten Stufe
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 42-48
-
- Article
- Export citation
Certain predicates defined by induction schemata
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 49-59
-
- Article
- Export citation
On the interpretation of the sign ‘⊃’
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 60-62
-
- Article
- Export citation
Conditioned disjunction as a primitive connective for the erweiterter Aussagenkalkül
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 63-65
-
- Article
- Export citation
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
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
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
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
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
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
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
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
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