Wróć do szczegółów artykułu
Simple cut elimination proof for hybrid logic
Pobierz
Pobierz PDF