English Beginner An Algebraic Introduction to Mathematical Logic Donald W. Barnes,John M. Mack (auth.) 1975 View book