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