An outline of mathematical logic : fundamental results and notions explained with all details - Grzegorczyk, Andrzej, 1922-2014 (D. Reidel, 1974)