Eine Termlogik mit Auswahloperator
From MaRDI portal
Publication:2529961
DOI10.1007/BFb0097721zbMath0166.25404MaRDI QIDQ2529961
Publication date: 1965
Published in: Lecture Notes in Mathematics (Search for Journal in Brave)
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Logic with extra quantifiers and operators (03C80) General logic (03Bxx)
Related Items (3)
Hilbert's epsilon as an operator of indefinite committed choice ⋮ A relational formulation of the theory of types ⋮ Denotational semantics for modal systems S3--S5 extended by axioms for propositional quantifiers and identity
This page was built for publication: Eine Termlogik mit Auswahloperator
