Language, proof, and logic /
Barwise, Jon
Language, proof, and logic / Jon Barwise and John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert Liu - 587 páginas
Acampañado de 1 CD-ROM
1889119083 (rustica : papel alcalino)
Lógica
BC61 / B377
160
Language, proof, and logic / Jon Barwise and John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert Liu - 587 páginas
Acampañado de 1 CD-ROM
1889119083 (rustica : papel alcalino)
Lógica
BC61 / B377
160