Wróć do szczegółów artykułu First-order anti-intuitionistic logic with apartness Pobierz Pobierz PDF