Hyperproof - Barwise, Jon,Etchemendy, John,Allwein, Gerard (CSLI, 1994)
Keywords: Informatica; Macintosh-software; Wiskundige logica; Informatik; Computer science; Logic; Symbolic and mathematical; Macintosh (Computer); Hyperproof