Nils Kürbis
2 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic : Natural Deduction and Normalisation Opublikowano w: Bulletin of the Section of Logic 2019 / Tom 48 / Numer 2 / s. 81 - 97ROK: 2019CZYSTY TEKSTBIBTEX
-
two Treatments of Definite Descriptions in Intuitionist Negative Free Logic Opublikowano w: Bulletin of the Section of Logic 2019 / Tom 48 / Numer 4 / s. 299 - 317ROK: 2019CZYSTY TEKSTBIBTEX
