TY  - BOOK
AU  - ENDERTON, HERBERT B  
TI  - MATHEMATICAL INTRODUCTION TO LOGIC  
U1  - 511.3/END   
PY  - 0000///
CY  - ACADEMIC, 2016.
PB  - 
ER  -