First Page | Document Content | |
---|---|---|
Date: 2010-07-08 14:32:41Logic Mathematical logic Mathematics Boolean algebra Complexity classes Metalogic Model theory True quantified Boolean formula Satisfiability FO PSPACE-complete Well-formed formula | Introduction Background, Theory Validating Squolem’s Certificates in HOL4 Evaluation ConclusionsAdd to Reading ListSource URL: user.it.uu.seDownload Document from Source WebsiteFile Size: 992,89 KBShare Document on Facebook |