Wróć do szczegółów artykułu Inconsistent Models (and Infinite Models) for Arithmetics with Constructible Falsity Pobierz Pobierz PDF