TY  - BOOK
AU  - Curry Haskell, B.
TI  - Foundation of mathamatics logic
PY  - 1963///
PB  - Mcgraw hill
ER  -