Formalizacja metod tablicowych dla logik zdań i logik nazw

E-książki

Informacje

Niniejsza książka podejmuje problem z zakresu teorii dowodu w systemach tablicowych. Jednym z jej głównych celów jest zdefiniowanie formalnego pojęcia dowodu tablicowego - czyli tzw. tablicy - a co za tym idzie, formalnego sformułowania pojęć pomocniczych, które towarzyszą...

Cena: 33,08 34,37 zł
Dostępność: sprawdź w sklepie