Library Catalog

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