Cover Image
Read Now

1
by Curry, Haskell B.
Published 1972
North-Holland Pub. Co
Table of Contents: “.... The predicate calculus; Chapter 16 The Theory of Universal Generality; A. The system F30; B. Deductive theory...”