Pages that link to "Item:Q2529961"

The following pages link to Eine Termlogik mit Auswahloperator (Q2529961):

Displaying 3 items.

• Hilbert's epsilon as an operator of indefinite committed choice (Q946570) (← links)
• Denotational semantics for modal systems S3--S5 extended by axioms for propositional quantifiers and identity (Q2350968) (← links)
• A relational formulation of the theory of types (Q3824291) (← links)