A theory of formal deducibility

Author(s)

• Curry, Haskell B. (Haskell Brooks)

Bibliographic Information

A theory of formal deducibility

by Haskell Brooks Curry

（Notre Dame mathematical lectures, no. 6）

University of Notre Dame Press, [1955?], c1950

[2nd ed.]

Note

Pref. to the 2nd ed. 1955

Description based on 3rd print. 1966

Details

• NCID: BA05300366
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Notre Dame, Ind.
• Pages/Volumes: xi, 129 p.
• Size: 23 cm
• Parent Bibliography ID:
  • BA0045158X