Télécharger le livre :  Dual Tableaux: Foundations, Methodology, Case Studies
Ajouter à ma liste d'envies
This book presents logical foundations of dual tableaux together with a number of their applications both to logics traditionally dealt with in mathematics and philosophy (such as modal, intuitionistic, relevant, and many-valued logics) and to various applied theories...

Editeur : Springer
Parution : 2012-01-07
Collection : Trends in Logic
ePub

147,69