Wróć do szczegółów artykułu On minimal models for pure calculi of names Pobierz Pobierz PDF