Mathematical logic - Ebbinghaus H D (New York Springer-Verlag U. S. A., 1984)
Bibliography: P 209-10
Keywords: Philosophy-Symbolic Logic