Introduction to mathematical logic - Hermes, Hans. (Berlin Springer-Verlag, 1973)
Translation of Einführung in die mathematische Logik
Keywords: Logic, Symbolic and mathematical