Language, proof, and logic
Barwise, Jon
Language, proof, and logic Jon Barwise & John Etchemendy in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert Liu - Stanford, Calif. CSLI Publications 2003 - xi, 587 p. ill. 24 cm 1 cd-rom 1 LPL software manual
Includes glossary and index
157586374X
Λογική
160
Language, proof, and logic Jon Barwise & John Etchemendy in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert Liu - Stanford, Calif. CSLI Publications 2003 - xi, 587 p. ill. 24 cm 1 cd-rom 1 LPL software manual
Includes glossary and index
157586374X
Λογική
160