TY - BOOK AU - Grzegorczyk Andrzej TI - Outline of mathematical logic: Fundamentals results and notions explained with all details T2 - Synthese library; 70 U1 - B:(R1), L4 PY - 1974/// CY - Dordrecht PB - D Reidel Pub. ER -