16 results
Remarks on the definition and nature of mathematics
-
-
- Book:
- Philosophy of Mathematics
- Published online:
- 05 June 2012
- Print publication:
- 27 January 1984, pp 202-206
-
- Chapter
- Export citation
The consistency of a system of combinatory restricted generality*
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 489-492
- Print publication:
- September 1973
-
- Article
- Export citation
Roger Hindley. Axioms for strong reduction in combinatory logic. The journal of symbolic logic, vol. 32 (1967), pp. 224–236. - Bruce Lercher. The decidability of Hindley's axioms for strong reduction. The journal of symbolic logic, vol. 32 (1967), pp. 237–239.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 1 / March 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 171-172
- Print publication:
- March 1971
-
- Article
- Export citation
Addendum to early history of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 4 / December 1963
- Published online by Cambridge University Press:
- 12 March 2014, p. 279
- Print publication:
- December 1963
-
- Article
- Export citation
Early history of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 3 / September 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 255-258
- Print publication:
- September 1962
-
- Article
- Export citation
Alonzo Church. The weak theory of implication. Kontrolliertes Denken, Untersuchungen zum Logikkalkiil unci zur Logik der Einzelwissenschaften, rotaprint, Kommissions-Verlag Karl Alber, Munich1951, pp. 22–37.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 4 / December 1953
- Published online by Cambridge University Press:
- 12 March 2014, p. 326
- Print publication:
- December 1953
-
- 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.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 2 / June 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 177-178
- Print publication:
- June 1953
-
- Article
- Export citation
The elimination theorem when modality is present1
-
- Journal:
- The Journal of Symbolic Logic / Volume 17 / Issue 4 / December 1952
- Published online by Cambridge University Press:
- 12 March 2014, pp. 249-265
- Print publication:
- December 1952
-
- Article
- Export citation
The permutability of rules in the classical inferential calculus1
-
- Journal:
- The Journal of Symbolic Logic / Volume 17 / Issue 4 / December 1952
- Published online by Cambridge University Press:
- 12 March 2014, pp. 245-248
- Print publication:
- December 1952
-
- Article
- Export citation
On the definition of negation by a fixed proposition in inferential calculus
-
- Journal:
- The Journal of Symbolic Logic / Volume 17 / Issue 2 / June 1952
- Published online by Cambridge University Press:
- 12 March 2014, pp. 98-104
- Print publication:
- June 1952
-
- Article
- Export citation
The system LD
-
- Journal:
- The Journal of Symbolic Logic / Volume 17 / Issue 1 / March 1952
- Published online by Cambridge University Press:
- 12 March 2014, pp. 35-42
- Print publication:
- March 1952
-
- Article
- Export citation
The inconsistency of certain formal logics
-
- Journal:
- The Journal of Symbolic Logic / Volume 7 / Issue 3 / September 1942
- Published online by Cambridge University Press:
- 12 March 2014, pp. 115-117
- Print publication:
- September 1942
-
- Article
- Export citation
The combinatory foundations of mathematical logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 7 / Issue 2 / June 1942
- Published online by Cambridge University Press:
- 12 March 2014, pp. 49-64
- Print publication:
- June 1942
-
- Article
- Export citation
A revision of the fundamental rules of combinatory logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 6 / Issue 2 / June 1941
- Published online by Cambridge University Press:
- 12 March 2014, pp. 41-53
- Print publication:
- June 1941
-
- Article
- Export citation
Consistency and completeness of the theory of combinators
-
- Journal:
- The Journal of Symbolic Logic / Volume 6 / Issue 2 / June 1941
- Published online by Cambridge University Press:
- 12 March 2014, pp. 54-61
- Print publication:
- June 1941
-
- Article
- Export citation
Paul Bernays. Logical calculus. Notes on lectures at the Institute for Advanced Study 1935–36, prepared with the assistance of F. A. Ficken. Mimeographed. Institute for Advanced Study, Princeton, N. J., 1936, 125 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 3 / Issue 4 / December 1938
- Published online by Cambridge University Press:
- 12 March 2014, pp. 162-163
- Print publication:
- December 1938
-
- Article
- Export citation