Curry H. B.. A note on the reduction of Gentzen's calculus LJ. Bulletin of the American Mathematical Society, Bd. 45 , S. 288–293 [Book Review]

Journal of Symbolic Logic 4 (3):128-128 (1939)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2266471

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,990

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A Note on the Reduction of Gentzen's Calculus LJ.H. B. Curry - 1939 - Journal of Symbolic Logic 4 (3):128-128.
Curry H. B.. A note on the associative law in logical algebras. Bulletin of the American Mathematical Society, vol. 42 , pp. 523–524. [REVIEW]Paul Henle - 1937 - Journal of Symbolic Logic 2 (1):42-42.
H. B. Curry. A note on the associative law in logical algebras. Bulletin of the American Mathematical Society, vol. 42 (1936), pp. 523–524. [REVIEW]Paul Henle & H. B. Curry - 1937 - Journal of Symbolic Logic 2 (1):42-42.
Curry Haskell B.. Some aspects of the problem of mathematical rigor. Bulletin of the American Mathematical Society, vol. 47 , pp. 221–241. [REVIEW]S. C. Kleene - 1941 - Journal of Symbolic Logic 6 (3):100-102.
Curry H. B.. A mathematical treatment of the rules of the syllogism. Mind, n.s., vol. 45, no. 178 , pp. 209–216.C. H. Langford - 1936 - Journal of Symbolic Logic 1 (3):114-114.
Kleene S. C.. Hierarchies of number-theoretic predicates. Bulletin of the American Mathematical Society, Bd. 61 , S. 193–213. [REVIEW]Werner Markwald - 1956 - Journal of Symbolic Logic 21 (4):411-412.
Church Alonzo. The constructive second number class. Bulletin of the American Mathematical Society, Bd. 44 , S. 224–232. [REVIEW]Andrzej Mostowski - 1938 - Journal of Symbolic Logic 3 (4):168-169.
Robinson Raphael M.. Recursion and double recursion. Bulletin of the American Mathematical Society, Bd. 54 , S. 987–993. [REVIEW]Rózsa Péter - 1949 - Journal of Symbolic Logic 14 (3):191-192.
Reviews. Raphael M. Robinson. Primitive recursive functions. Bulletin of the American Mathematical Society, Bd. 53 , S 925–942. [REVIEW]Rózsa Péter - 1948 - Journal of Symbolic Logic 13 (2):113-114.
McKinsey J. C. C.. A note on Reichenbach's axioms for probability implication. Bulletin of the American Mathematical Society, vol. 45 , pp. 799–800. [REVIEW]Ernest Nagel - 1940 - Journal of Symbolic Logic 5 (1):42-42.

Analytics

Added to PP
2013-11-22

Downloads
18 (#828,363)

6 months
7 (#592,073)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references