Wróć do szczegółów artykułu
Equating categorially names and quantifiers within first-order logic
Pobierz
Pobierz PDF