First Page | Document Content | |
---|---|---|
![]() Date: 2010-06-02 16:25:19Logic 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 |