Foundation of mathamatics logic - Curry Haskell, B. (Mcgraw hill, 1963)
English