How to Avoid the Formal Verification of a Theorem Prover
Logic Journal of the IGPL - United Kingdom
doi 10.1093/jigpal/9.1.1
Full Text
Open PDFAbstract
Available in full text
Categories
Date
January 1, 2001
Authors
Publisher
Oxford University Press (OUP)