A Theory of Formal Deducibility

Journal of Symbolic Logic 16 (1):56-58 (1951)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268674

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,561

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 Theory of Formal Deducibility.Haskell Brooks Curry - 1966 - Notre Dame, IN, USA: [University of Notre Dame Press].
Recursion theory and formal deducibility.E. M. Kleinberg - 1970 - Journal of Symbolic Logic 35 (4):556-558.
A Theory of Formal Deducibility Vol. 6.Haskell B. Curry - 1966 - University of Notre Dame.
Curry Haskell B.. A theory of formal deducibility. Notre Dame mathematical lectures, no. 6. Lithoprinted. University of Notre Dame, Notre Dame, Indiana, 1950, ix + 126 Seiten. [REVIEW]Wilhelm Ackermann - 1951 - Journal of Symbolic Logic 16 (1):56-58.
Curry Haskell B.. A theory of formal deducibility. Second edition of XVI 56. Notre Dame mathematical lectures, no. 6. Lithoprinted. University of Notre Dame, Notre Dame, Indiana, 1957, xi + 129 pp. [REVIEW]Ann S. Ferebee - 1969 - Journal of Symbolic Logic 34 (1):113-113.
Review: Haskell B. Curry, On Definitions in Formal Systems. [REVIEW]Abraham Robinson - 1960 - Journal of Symbolic Logic 25 (1):89-90.

Analytics

Added to PP
2017-02-21

Downloads
52 (#404,546)

6 months
6 (#809,985)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A completeness theorem in modal logic.Saul Kripke - 1959 - Journal of Symbolic Logic 24 (1):1-14.
Substructural Logics: A Primer.Francesco Paoli - 2002 - Dordrecht, Netherland: Springer.
The Different Ways in which Logic is (said to be) Formal.Catarina Dutilh Novaes - 2011 - History and Philosophy of Logic 32 (4):303 - 332.
What is strict implication?Ian Hacking - 1963 - Journal of Symbolic Logic 28 (1):51-71.

View all 20 citations / Add more citations

References found in this work

No references found.

Add more references