Language, proof, and logic - Barker-Plummer, Dave; Etchemendy, John, 1952-; Allwein, Gerard, 1956-; Barker-Plummer, Dave.; Liu, Albert, 1966- (Stanford, Calif. : CSLI Publications, 2002)
Includes indexes.
Keywords: Logic