TY  - BOOK
AU  - Grzegorczyk Andrzej
TI  - Outline of mathematical logic
T2  - Synthese library
U1  - R14, L4 
PY  - 1974///
CY  - Holland
PB  - D Reidel Publishing     
ER  -