Suppes, Patrick First course in mathematical logic by Patrick Suppes and Shirley Hill. - New York Blaisdell Publishing 1964. - ix, 274 p. Includes index.