Hyperproof
Subtitle: For Macintosh (Center for the Study of Language and Information - Lecture Notes)
Edition: Pap/Dsk edition
Publisher: Center for the Study of Language and Inf
Published: December 20, 1994
Language: eng
Format: Paperback
Number of pages: 254
ISBN-13: 9781881526117
Subjects: Mathematical foundations; Philosophy; Linguistics; Computer Logic; Computer - Apple/Macintosh; Macintosh (Computer); Logic, Symbolic and mathematical; Logic; Hardware - Personal Computers - Macintosh; Mathematics / Combinatorics; Philosophy / Logic; Reference; Computer science; Hyperproof; Logic, Symbolic and mathematic