TY - BOOK AU - Grzegorczyk, Andrzej TI - An Outline of mathematical logic: fundamental results and nations explained with all details: Andrzej Grzegorczyk SN - 90277003590 U1 - 511.3 PY - 1974/// CY - Hollund PB - D. Reidel KW - Mathematics Mathematical logics ER -