Hyperproof, Volume 42: For Macintosh by John Etchemendy, Jon Barwise

Hyperproof, Volume 42: For Macintosh

Lecture Notes

John Etchemendy, Jon Barwise

254 pages missing pub info (editions)

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

Description

Hyperproof is a system for learning the principles of analytical reasoning and proof construction, consisting of a text and a Macintosh software program. Unlike traditional treatments of first-order logic, Hyperproof combines graphical and sentent...

Read more

Community Reviews

Loading...

Content Warnings

Loading...