TY  - BOOK
AU  - Rogers, Robert,
TI  - Mathematical logic and formalized theories: a survey of basic concepts and results 
SN  - 0720420512 (north-holland)
U1  - 511.3 
PY  - 1971///
CY  - Amsterdam
PB  - North-Holland Pub.
KW  - Logic, Symbolic and mathematical
ER  -