English Beginner Introduction to Mathematical Logic: Set Theory Computable Functions Model Theory Jerome Malitz (auth.) 1979 View book