Barwise, Jon <br/><br/>
Language, proof, and logic / 
Jon Barwise and John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert Liu 
 - 587 páginas 
<br/><br/> Acampañado de 1 CD-ROM 
<br/><br/><label>ISBN: </label>1889119083 (rustica : papel alcalino) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Lógica
<br/><br/><label>LC Class. No.: </label>BC61  / B377 
<br/><br/><label>Dewey Class. No.: </label>160