Barker-Plummer, Dave

Language, proof, and logic / Jon Barwise & John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert Liu. - Stanford, Calif. : CSLI Publications, c2002. - xi, 587 p. ; 24 cm.

Includes indexes.

9781575866321

99041113


Logic.

BC61 / .B37 2011

160

2017 | The Technical University of Kenya Library | +254(020) 2219929, 3341639, 3343672 | library@tukenya.ac.ke | Haile Selassie Avenue