First Page | Document Content | |
---|---|---|
![]() Date: 2010-06-01 10:39:41Logic Mathematical logic Mathematics Boolean algebra Complexity classes Metalogic Model theory True quantified Boolean formula Satisfiability FO PSPACE-complete Well-formed formula | Add to Reading List |