Présentation de l'auteur Andrzej Indrzejczak :

Livres publiés jusqu'à présent par Andrzej Indrzejczak :

Séquents et arbres : Une introduction à la théorie et aux applications du calcul des séquences...
Birkhauser
Ce manuel propose une introduction détaillée à la...
Séquents et arbres : Une introduction à la théorie et aux applications du calcul des séquences propositionnelles - Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi
<<
1
>>