Entity usage
From MaRDI portal
This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.
Showing below up to 10 results in range #1 to #10.
- Concerning a generalized principle of constructive selection: Label: en
- A method of presenting the theory of algorithms and enumerable sets: Label: en
- Concerning the constructive interpretation of auxiliary formulas. I: Label: en
- Calculi of constructive logic with subordinate variables: Label: en
- A constructive calculus of statements with strong negation: Label: en
- Certain properties of E. L. Post’s apparatus of canonical calculi: Label: en
- On singular coverings and properties of constructive functions connected with them: Label: en
- Graph schemes with memory: Label: en
- Mean value theorems in constructive analysis: Label: en
- On constructive mathematics: Label: en
