Connectez-vous pour ajouter ce livre à votre bibliothèque.
Goal-Directed Proof Theory (Applied Logic Series Volume 21)
Dov M. Gabbay, Nicola Olivetti
Autre
Première publication : 2000
Résumé
This book is about goal-directed proof-theoretical formulations of non-classical logics.
