Showing 50 items.
- Automated theorem proving (links | edit)
- P versus NP problem (links | edit)
- Computational complexity theory (links | edit)
- Entscheidungsproblem (links | edit)
- Peano axioms (links | edit)
- Gödel's incompleteness theorems (links | edit)
- Consistency (links | edit)
- Type system (links | edit)
- List of mathematical logic topics (links | edit)
- List of computability and complexity topics (links | edit)
- Time complexity (links | edit)
- Thoralf Skolem (links | edit)
- Decidability (logic) (links | edit)
- William Pugh (computer scientist) (links | edit)
- Quantifier elimination (links | edit)
- Generalized arithmetic progression (links | edit)
- Robinson arithmetic (links | edit)
- Automated reasoning (links | edit)
- Second-order arithmetic (links | edit)
- List of first-order theories (links | edit)
- Mojżesz Presburger (links | edit)
- Pressburger arithmetic (redirect page) (links | edit)
- Presburger Arithmetic (redirect page) (links | edit)
- Satisfiability modulo theories (links | edit)
- Skolem arithmetic (links | edit)
- Double exponential function (links | edit)
- Complete theory (links | edit)
- Pressburger (links | edit)
- 2-EXPTIME (links | edit)
- Presberger arithmetic (redirect page) (links | edit)
- Z-group (links | edit)
- Timeline of mathematical logic (links | edit)
- Recursive language (links | edit)
- NP-completeness (links | edit)
- Generic-case complexity (links | edit)
- Presburger Award (links | edit)
- Büchi arithmetic (links | edit)
- Infinite chess (links | edit)
- Regular numerical predicate (links | edit)
- Cobham's theorem (links | edit)
- Feferman–Vaught theorem (links | edit)
- S2S (mathematics) (links | edit)
- Talk:Computational complexity theory (links | edit)
- Talk:Presburger arithmetic (transclusion) (links | edit)
- Talk:Consistency (links | edit)
- Talk:Arithmetic (links | edit)
- Talk:Elementary function (links | edit)
- Talk:Recursive language (links | edit)
- Talk:Halting problem/Archive 1 (links | edit)
- Talk:Gödel's incompleteness theorems/Archive 5 (links | edit)