Introduction to mathematical logic - Hermes, Hans; Schmidt, Diana (Berlin Springer Verlag, 1973)
Includes index
Translation of : Einfuhrung in die mathematische Logik
Keywords: Logic, Symbolic and mathematical