Addison-Wesley-Series in logic - Rogers, Hartles (Adiwes international Series., 1964)