An outline of mathematical logic : fundamental results and notions explained with all details - Grzegorczyk, Andrzej. (Springer, 1974)
Base de Datos SPRINGER