Outline of mathematical logic. - Grzegorczyk Andrzej (Holland D Reidel Publishing, 1974)