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