Introduction to mathematical logic - Hermes, Hans (Springer-Verlag, 1973)
Περιλαμβάνει ευρετήριο.
Τίτλος πρωτοτύπου : Einführung in die mathematische Logik.