Mathematical logoics - Monk, James Donald (rz1, 1976)