A theory of formal deducibility

Author(s)

• Curry, Haskell B. (Haskell Brooks)

Bibliographic Information

A theory of formal deducibility

（Notre Dame mathematical lectures, no. 6）

, 1950

Note

Bibliography: p. 123-126

Details

• NCID: BA01086071
• LCCN: 50002766
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Notre Dame
• Pages/Volumes: ix, 126 p
• Size: 23 cm
• Classification:
  • LCC : QA1
  • DC : 164
• Subject Headings:
  • LCSH : Logic, Symbolic and mathematical
• Parent Bibliography ID:
  • BA0045158X