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...”
Cover Image
Read Now

2
by Hindley, J. Roger, Seldin, J. P.
Published 2008
Cambridge University Press