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, 2007. - xi, 587 p. ; 24 cm.

Includes indexes.

1889119083 (pbk. : alk. paper)


Logic.

BC61.B3 2007


Meru University of Science and Technology | P.O. Box 972-60200 Meru. | Tel 020 2092048 Fax 0208027449 | Email: library@must.ac.ke