Language, proof, and logic /
Barwise, Jon, 1942-2000
Language, proof, and logic / Jon Barwise & John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert Liu. - Stanford (Ca.) : CSLI Publications, ©2002. - xi, 587 p. ; 24 cm.
Indici.
157586374X
Logica
Language, proof, and logic / Jon Barwise & John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert Liu. - Stanford (Ca.) : CSLI Publications, ©2002. - xi, 587 p. ; 24 cm.
Indici.
157586374X
Logica

