Title: Hyperproof for the Macintosh
Subjects: Macintosh (Computer), Symbolic and mathematical Logic, Computer science, Hyperproof