Introduction To Mathematical Logic. - Hermes, Hans (Berlin : Springer, 1973)
Keywords: 51.01:160.