TY - BOOK AU - Grzegorczyk, Andrzej TI - Outline of mathematical logic: Fundamental results and notions explained with all details T2 - Synthese library;70 PY - 1969/// CY - U.S.A PB - D Reidel publishing co KW - Logic KW - Mathematics KW - Philosophy ER -