Mathematical logic - Ebbinghaus, Heinz-Dieter, 1939-; Flum, Jorg.; Thomas, Wolfgang (New York : Springer-Verlag, 1984)
Translation of: Einfuhrung in die mathematische Logik.
Includes index and Bibliography : p. 209-210.
Keywords: Logic, Symbolic and mathematical