TY - BOOK AU - Grzegorczyk,Andrzej TI - An outline of mathematical logic : fundamental results and notions explained with all details U1 - 164 PY - 1974/// CY - Boston PB - D. Reidel Publishing Company KW - Mathematical logic KW - Mathematical ER -