Language, Proof and Logic With Software by John Etchemendy, Jon Barwise, Dave Barker-Plummer

Language, Proof and Logic With Software

John Etchemendy, Jon Barwise, Dave Barker-Plummer

606 pages first pub 1999 (editions)

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

Description

This textbook/software package covers first-order language in a method appropriate for first and second courses in logic. The unique on-line grading services instantly grades solutions to hundred of computer exercises. It is specially devised to b...

Read more

Community Reviews

Loading...

Content Warnings

Loading...