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
>>