TY  - BOOK
AU  - Rogers Robert
TI  - Mathematical logic and formalized theories
U1  - B:R1, L1 
PY  - 1971///
KW  - Logic
ER  -