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

© Book1 Group - tous droits réservés.
Le contenu de ce site ne peut être copié ou utilisé, en tout ou en partie, sans l'autorisation écrite du propriétaire.
Dernière modification: 2024.11.14 07:32 (GMT)