Concept of logical consequence - Etchemendy, John; Etchemendy, John (Harvard University Press Cambridge, 1990)
Keywords: R1