1 résultat(s)
Télécharger le livre : Dual Tableaux: Foundations, Methodology, Case Studies
Joanna Golinska Pilarek , Ewa Orlowska
Dual Tableaux: Foundations, Methodology, Case Studies
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
Format(s) : ePub
147,69 €
Téléchargement immédiat
Dès validation de votre commande