Pages that link to "Emil Post"
The following pages link to Emil Post:
Displaying 14 items.
- Algorithm (← links | edit)
- Computation (← links | edit)
- Formal language (← links | edit)
- Propositional calculus (← links | edit)
- Stephen Cole Kleene (← links | edit)
- Turing machine (← links | edit)
- Many-valued logic (← links | edit)
- History of logic (← links | edit)
- Backus–Naur form (← links | edit)
- Post correspondence problem (← links | edit)
- Consistency (← links | edit)
- Contradiction (← links | edit)
- Computability theory (← links | edit)
- Metamathematics (← links | edit)