Introduction to mathematical logic - Hermes, Hans (Berlin Springer-Verlag, 1973)
Translation of Einfuhrung in die mathematische Logik.
Bibliography: p. 229-231.
Keywords: Logic, Symbolic and mathematical