Présentation de l'auteur Michal Zawidzki :

Livres publiés jusqu'à présent par Michal Zawidzki :

Systèmes déductifs et problème de décidabilité pour les logiques hybrides - Deductive Systems and...

Ce livre se situe à l'intersection de deux sujets...