TY  - BOOK
AU  - Curry,  Haskell B.
TI  - Foundations of mathematical logic.
U1  - 511.3 C937F 
ER  -