Przeglądaj Bulletin of the Section of Logic według tematu "hybrid type theory"
Wyświetlanie pozycji 1-1 z 1
-
Identity, equality, nameability and completeness. Part II
(Wydawnictwo Uniwersytetu Łódzkiego, 2018)This article is a continuation of our promenade along the winding roads of identity, equality, nameability and completeness. We continue looking for a place where all these concepts converge. We assume that identity is a ...