An Outline of mathematical logic: fundamental results and nations explained with all details Andrzej Grzegorczyk. - Grzegorczyk, Andrzej (Hollund D. Reidel, 1974)
Keywords: Mathematics Mathematical logics