TY  - BOOK
AU  - Rogers, Robert.
TI  - Mathematical Logic and Formalized Theories :Survey of Basic Concepts and Results / 
SN  - 0 444 10083 0
U1  - B0bR1`N77 
PY  - 1981///
CY  - New York : 
PB  - American Elesevier Publishing Company, Inc , 
KW  - Mathematics <Natural Numbers>
ER  -