Introduction to mathematical logic - Hermes, Hans (New York ; Berlin : Springer Verlang, 1973)
Keywords: LOGICA MATEMATICA