Theorie der Logischen Auswahlfunktionen

DOI10.1002/MALQ.19570030104zbMath0088.24703OpenAlexW1968900240MaRDI QIDQ3261414

Günter Asser

Publication date: 1957

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19570030104

zbMATH Keywords

philosophy and foundations of mathematics

Related Items (10)

The epsilon-reconstruction of theories and scientific structuralism ⋮ Herbrand complexity and the epsilon calculus with equality ⋮ Hilbert's epsilon as an operator of indefinite committed choice ⋮ A relational formulation of the theory of types ⋮ Choice functions and the anaphoric semantics of definite NPs ⋮ On rewriting sentences into formulas ⋮ Semantics and Proof Theory of the Epsilon Calculus ⋮ Certains aspects syntactiques d'une notion de modèle: Relativisation d'une fonction logique de choix ⋮ Notes on the theory of variable binding term operators ⋮ Günter Asser (1926–2015)

This page was built for publication: Theorie der Logischen Auswahlfunktionen