Logical constants - Dosen, K; Dosen, Kosta (University of Oxford, 1980)