The following pages link to (Q4130978):
Displayed 4 items.
- Program-substitution and admissibility of rules in algorithmic logic (Q1092655) (← links)
- First-order approximation of algorithmic theories (Q1095655) (← links)
- Algorithmic logic. Multiple-valued extensions (Q1155047) (← links)
- On the elimination of iteration quantifiers in a fragment of algorithmic logic (Q1837179) (← links)