Wróć do szczegółów artykułu A simple Henkin-style completeness proof for Gödel 3-valued logic G3 Pobierz Pobierz PDF