Představení autora Andrzej Indrzejczak:

Doposud vydané knihy od Andrzej Indrzejczak:

Sekvence a stromy: Úvod do teorie a aplikací výrokových sekvenčních kalkulů (Propositional Sequent...
Birkhauser
Tato učebnice nabízí podrobný úvod do metodologie...
Sekvence a stromy: Úvod do teorie a aplikací výrokových sekvenčních kalkulů (Propositional Sequent Calculi) - Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi
<<
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)