First course in mathematical logic - Suppes Patrik; Hill Shirley (1964)
English