Pages that link to "Item:Q3261414"
From MaRDI portal
The following pages link to Theorie der Logischen Auswahlfunktionen (Q3261414):
Displaying 10 items.
- The epsilon-reconstruction of theories and scientific structuralism (Q334861) (← links)
- Choice functions and the anaphoric semantics of definite NPs (Q704019) (← links)
- Hilbert's epsilon as an operator of indefinite committed choice (Q946570) (← links)
- On rewriting sentences into formulas (Q1257462) (← links)
- Certains aspects syntactiques d'une notion de modèle: Relativisation d'une fonction logique de choix (Q2540887) (← links)
- Notes on the theory of variable binding term operators (Q3657974) (← links)
- A relational formulation of the theory of types (Q3824291) (← links)
- Semantics and Proof Theory of the Epsilon Calculus (Q5224489) (← links)
- Günter Asser (1926–2015) (Q5258474) (← links)
- Herbrand complexity and the epsilon calculus with equality (Q6178471) (← links)
