Introduction to mathematical logic - Hermes Hans; Schmidt Diana (Berlin Springer-Verlag, 1973)
Tr. from German
Keywords: Mathematical logic