A theory of formal deducibility

Saved in:
Bibliographic Details
Main Author: Curry, Haskell B (Author)
Format: Book
Language:English
Published: Notre Dame University of Notre Dame 1950
Series:Notre Dame Mathematical Lectures, 6
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!