TY  - BOOK
AU  - Grzegorczyk, Andrzej
AU  - Wojtasiewicz, Olgierd
TI  - An outline of mathematical logic: Fundamental results and notions explained with all details 
SN  - 90-277-0359-0
AV  - QA 9 G7913.1974
PY  - 1974///
CY  - Dordrecht
PB  - Polish Scientific
KW  - Lógica simbólica y matemática
N1  - Incluye índice; Traducción de Zarys Logiki Matematycznej
ER  -