Language,proof and Logic - Barwise,Jon; Etchemendy,John; Allwein, Gerard; Barker-Plumber Dave; Liu, Albert (United State of America. C S L I Publication., 2008)
include Glossary and index
Keywords: Logic