TY  - BOOK
AU  - Rogers, Robert,
TI  - Mathematical logic and formalized theories; a survey of basic concepts and results
AV  - QA9 R59
PY  - 1971///
CY  - Amsterdam
PB  - North-holland
KW  - Lógica simbólica y matemática
ER  -