A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic : Natural Deduction and Normalisation

Bulletin of the Section of Logic, Tom 48, Numer 2 (2019) s. 81-97
Nils Kürbis