Language, Proof, and Logic by Jon Barwise

Language, Proof, and Logic

Jon Barwise with John Etchemendy

587 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/so...

Read more

Community Reviews

Loading...

Content Warnings

Loading...