TY  - BOOK
AU  - Enderton, H.B
TI  - Mathematical introduction to logic
SN  - 9788131201916
U1  - 510.63 
PY  - 2008///
CY  - USA
PB  - Elsevier
KW  - FIRST-ORDER LOGIC
KW  - NUMBER THEORY
KW  - RECURSIVE FUNCTION
ER  -