Connectez-vous pour ajouter ce livre à votre bibliothèque.
Proof theory and automated deduction
Jean Goubault-Larrecq, Ian Mackie
Autre
Première publication : 1997
