Pozycja z cyklu Szlakiem warszawskich zabytków. Jest napisana przez licencjonowanego przewodnika z bogatą wiedzą i doświadczeniem w wykonywaniu swojego zawodu....
Niniejsza książka podejmuje problem z zakresu teorii dowodu w systemach tablicowych. Jednym z jej głównych celów jest zdefiniowanie formalnego pojęcia...
