Pages that link to "Item:Q5769704"
From MaRDI portal
The following pages link to Ein Verfahren der mathematischen Logik (Q5769704):
Displaying 7 items.
- On the Amount of Nonconstructivity in Learning Recursive Functions (Q3010414) (← links)
- On the Influence of Technology on Learning Processes (Q3458194) (← links)
- A Groupoid of Isomorphic Data Transformations (Q3637276) (← links)
- Step by Recursive Step: Church's Analysis of Effective Calculability (Q4359525) (← links)
- Contributions to the reduction theory of the decision problem (Q5798793) (← links)
- Contributions to the reduction theory of the decision problem (Q5802125) (← links)
- Contributions to the reduction theory of the decision problem (Q5808413) (← links)