The following pages link to (Q3271835):
Displaying 6 items.
- Turing machine computations in finitely axiomatizable theories (Q1059628) (← links)
- Critical theories (Q1109020) (← links)
- Composition structure of programmology (Q1288660) (← links)
- Foundations of programmology (Q1592005) (← links)
- Matrix hierarchies of first-order languages and their applications (Q1803010) (← links)
- Classification of derivable propositional formulas (Q2553427) (← links)
