Mathematical logic - Ebbinghaus, Heinz-Dieter 1939-; Flum, Jorg.; Thomas, Wolfgang 1947-. (New York Springer-Verlag, 1994)
Includes bibliographical references (p. [277]-279) and indexes.
Keywords: Logic, Symbolic and mathematical