Heyting predicate calculus with epsilon symbol

• 1 September 1977
• journal article
• Published by Springer Nature in Journal of Mathematical Sciences
• Vol. 8  (3) , 317-323
• https://doi.org/10.1007/bf01091551

Abstract