Vorstellung des Autors Michal Zawidzki:

Bisher veröffentlichte Bücher von Michal Zawidzki:

Deduktive Systeme und das Entscheidbarkeitsproblem für hybride Logiken - Deductive Systems and the...

Dieses Buch steht an der Schnittstelle zweier...