Představení autora Michal Zawidzki:

Doposud vydané knihy od Michal Zawidzki:

Deduktivní systémy a problém rozhodnutelnosti pro hybridní logiky - Deductive Systems and the...

Tato kniha je průsečíkem dvou témat:...