Foundations of mathematical logic - Curry Haskell B (New York Dover U. S. A., 1977)
Bibliography: P 369-90
Keywords: Philosophy-Symbolic Logic