TY  - BOOK
AU  - Rogers, Robert
TI  - Mathematical Logic and Formalized Theories : A Survey of Basic Concepts and Results
SN  - 0720420512
PY  - 1971///
CY  - Amsterdam
PB  - North-Holland Publishing Company
ER  -