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