Search for: [Subject and Keywords = technika cyfrowa] OR [Subject and Keywords = sekwent] OR [Subject and Keywords = drzewo dowodu] OR [Subject and Keywords = logika matematyczna] OR [Subject and Keywords = Gentzen] OR [Subject and Keywords = wnioskowanie symboliczne] OR [Title = PROJEKTOWANIE UKŁADÓW STEROWANIA BINARNEGO WSPOMAGANE AUTOMATYCZNYM WNIOSKOWANIEM GENTZENA] OR [Creator = Tkacz, Jacek]