Wróć do szczegółów artykułu Cyrkumskrypcja: formalizacja rozumowania niemonotonicznego w logice drugiego rzędu Pobierz Pobierz PDF