G. Mints works in the Department of Philosophy at Stanford University, California.
1 résultat(s)
Télécharger le livre : A Short Introduction to Intuitionistic Logic
G. Mints , L. Carroll
A Short Introduction to Intuitionistic Logic
Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs to make the material more accessible. Basic tchniques are...
Editeur : Kluwer Academic Publishers
Parution : 2000

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