Predstavenie autora Andrzej Indrzejczak:

Doterajšie vydané knihy od Andrzej Indrzejczak:

Sekvencie a stromy: Úvod do teórie a aplikácií výrokových sekvenčných kalkulov - Sequents and Trees:...
Birkhauser
Táto učebnica ponúka podrobný úvod do metodológie...
Sekvencie a stromy: Úvod do teórie a aplikácií výrokových sekvenčných kalkulov - Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi
<<
1
>>

© Book1 Group - všetky práva vyhradené.
Obsah tejto stránky nesmie byť kopírovaný ani použitý čiastočne alebo v celku bez písomného súhlasu vlastníka.
Posledná úprava: 2024.11.13 22:11 (GMT)