TY  - BOOK
T1  - Basic verifiability in the combinatory theory of restricted generality
A1  - Curry, Haskell B.
LA  - English
PP  - Jerusalem
PB  - Magnes
YR  - 1961
UL  - http://vufind10-pruebas.sigbunlp.bibliotecas.unlp.edu.ar/Record/dhu.koha32776
KW  - Lógica matemática
ER  -