The predicate calculus with \(\varepsilon\)-symbol
From MaRDI portal
Publication:766669
DOI10.2969/jmsj/00740323zbMath0067.25003MaRDI QIDQ766669
Publication date: 1955
Published in: Journal of the Mathematical Society of Japan (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2969/jmsj/00740323
Related Items
Semantics and Proof Theory of the Epsilon Calculus, Interpreting descriptions in intensional type theory, Resolution is cut-free, Non-elementary speed-ups in logic calculi