Language, Proof, and Logic: Second Edition by John Etchemendy, David Barker-Plummer, Jon Barwise

Language, Proof, and Logic: Second Edition

John Etchemendy, David Barker-Plummer, Jon Barwise

650 pages first pub 2011 (editions)

nonfiction computer science philosophy science informative slow-paced
Powered by AI (Beta)
Loading...

Description

Language Proof and Logic is available as a physical book with the software included and as a downloadable package of software plus the book in PDF format. The all-electronic version is available from Openproof at gradegrinder.net. The textbook/sof...

Read more

Community Reviews

Loading...

Content Warnings

Loading...