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