1 résultat(s)
Télécharger le livre : Reductive Logic and Proof-search
David J. Pym , Eike Ritter
Reductive Logic and Proof-search
This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, areas of logic that are becoming important in computer science. A systematic foundational text on these emerging topics, it...
Editeur : Clarendon Press
Parution : 2004-04-29

Format(s) : PDF
124,41 €
Téléchargement immédiat
Dès validation de votre commande