|
Stanford University - Fall 2012 | ||
Section 01 | ||
Language, Proof, and Logic: (2nd Edition) by David Barker-Plummer, Jon Barwise, John Etchemendy Paperback, 606 Pages, Published 2011 ISBN-10: 1-57586-632-3 / 1575866323 ISBN-13: 978-1-57586-632-1 / 9781575866321 Language Proof and Logic is available as a physical book with the software included on CD and as a downloadable package of software plus the book in PDF format. The all-electronic version is available from Openproof at ggweb.stanford.edu.The textbook/software package covers first-order language in a |