Elementy logiki dla informatyków
Autor: Temat i słowa kluczowe:teoria mnogości ; rachunek zdań ; rachunek kwantyfikatorów ; system dowodzenia twierdzeń ; języki formalne ; zasada rezolucji
Wydawca:Oficyna Wydawnicza Politechniki Wrocławskiej
Miejsce wydania: Data wydania: Typ zasobu: Język: Powiązania:Politechnika Wrocławska. Wydział Informatyki i Zarządzania
Prawa:Wszystkie prawa zastrzeżone (Copyright)
Prawa dostępu:Dla wszystkich w zakresie dozwolonego użytku
Właściciel praw: Lokalizacja oryginału: