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