Einführung in die mathematische Logik - Ebbinghaus, Heinz-Dieter 1939-; Flum, Jörg 1944-; Thomas, Wolfgang 1947- (Wiss. Buchges., 1986)
Keywords: Logic, Symbolic and mathematical; Mathematische Logik; Einführung