OL18082130M
Hyperproof
Barwise, Jon.
- Publisher
- CSLI Publications
- Published
- 1994
- ISBN-13
- Unavailable
- ISBN-10
- 1881526119
- Work ID
- OL19385191W
Description
Metadata and publication details for Hyperproof by Barwise, Jon..
Subjects
Macintosh (Computer)Symbolic and mathematical LogicComputer scienceHyperproofLogic, symbolic and mathematicalInformaticaMacintosh-softwareWiskundige logicaDeduksjonSymbolsk logikkProgramvareHåndbøker (Form)MacintoshInformatiqueLogique symbolique et mathématiqueMacintosh (ordinateur)MathématiquesLogicielsLogique de premier ordre