MATHEMATICAL LOGIC - Abbinghaus, Heinz-Dieter; Thomas, Wolfgang (New York Springer-Verlag, 1984)
Translation Of : Einfuhrung In Die Mathematische Logik
Keywords: Logic, Symbolic And Mathematical