Title: Hyperproof
Subjects: Macintosh (Computer), Symbolic and mathematical Logic, Computer science, Hyperproof, Logic, symbolic and mathematical, Informatica, Macintosh-software, Wiskundige logica, Deduksjon, Symbolsk logikk, Programvare, Håndbøker (Form), Macintosh, Informatique, Logique symbolique et mathématique, Macintosh (ordinateur), Mathématiques, Logiciels, Logique de premier ordre