Nils Kürbis
2 artykuły w 1 czasopismach
-
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 - 972019CZYSTY TEKST
Nils Kürbis, A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic : Natural Deduction and Normalisation , Bulletin of the Section of Logic, 2019 / Tom 48 / Numer 2, s. 81 - 97
BIBTEX@Article{ authors = " Nils Kürbis", title = "A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic : Natural Deduction and Normalisation ", journal = "Bulletin of the Section of Logic", issue = "2019 / Tom 48 / Numer 2", pages = "81 - 97" }
-
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 - 3172019CZYSTY TEKST
Nils Kürbis, two Treatments of Definite Descriptions in Intuitionist Negative Free Logic , Bulletin of the Section of Logic, 2019 / Tom 48 / Numer 4, s. 299 - 317
BIBTEX@Article{ authors = " Nils Kürbis", title = "two Treatments of Definite Descriptions in Intuitionist Negative Free Logic ", journal = "Bulletin of the Section of Logic", issue = "2019 / Tom 48 / Numer 4", pages = "299 - 317" }