Elementy logiki dla informatyków
Creator: Subject and Keywords:teoria mnogości ; rachunek zdań ; rachunek kwantyfikatorów ; system dowodzenia twierdzeń ; języki formalne ; zasada rezolucji
Publisher:Oficyna Wydawnicza Politechniki Wrocławskiej
Place of publication: Date: Resource Type: Language: Relation:Politechnika Wrocławska. Wydział Informatyki i Zarządzania
Rights:Wszystkie prawa zastrzeżone (Copyright)
Access Rights:Dla wszystkich w zakresie dozwolonego użytku
Rights Owner: Location: