The following pages link to Presburger arithmetic:
Displayed 14 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)
- Incubator escapee wiki:WikiProject Mathematics/PlanetMath Exchange/03-XX Mathematical logic and foundations (← links | edit)