Outline of mathematical logic Fundamental result - Grzegorczyk Andrzej (Dordrecht D. Reidel, 1974)
Bibliography: P 581-85
Keywords: Philosophy-Symbolic Logic