Vorstellung des Autors Andrzej Indrzejczak:

Bisher veröffentlichte Bücher von Andrzej Indrzejczak:

Sequenzen und Bäume: Eine Einführung in die Theorie und Anwendungen von propositionalen...
Birkhauser
Dieses Lehrbuch bietet eine ausführliche Einführung in...
Sequenzen und Bäume: Eine Einführung in die Theorie und Anwendungen von propositionalen Sequentenkalkülen - Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi
<<
1
>>