Szukana fraza: [Temat i słowa kluczowe = technika cyfrowa] lub [Temat i słowa kluczowe = sekwent] lub [Temat i słowa kluczowe = drzewo dowodu] lub [Temat i słowa kluczowe = logika matematyczna] lub [Temat i słowa kluczowe = Gentzen] lub [Temat i słowa kluczowe = wnioskowanie symboliczne] lub [Tytuł = PROJEKTOWANIE UKŁADÓW STEROWANIA BINARNEGO WSPOMAGANE AUTOMATYCZNYM WNIOSKOWANIEM GENTZENA] lub [Autor = Tkacz, Jacek]