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:...
Deduktivní systémy a problém rozhodnutelnosti pro hybridní logiky - Deductive Systems and the Decidability Problem for Hybrid Logics
<<
1
>>

© Book1 Group - všechna práva vyhrazena.
Obsah těchto stránek nesmí být kopírován ani použit, a to ani částečně ani úplně, bez písemného svolení vlastníka.
Poslední úprava: 2024.11.08 20:25 (GMT)