TY  - BOOK
AU  - Kleene,Stephen Cole, x
AU  - x
TI  - Mathematical logic: -
SN  - x  
U1  - 517/KLM 
PY  - 1968///
CY  - N. Y. 
PB  - Wiely
KW  - Calculus
N1  - Includes
ER  -