Short introduction to intuitionistic logic, a
Auteur :
Mints, Grigori
Éditeur :
Springer Science+Business Media
ISBN :
9780306463945
Date de publication :
31 oct. 2000
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
USA
Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs.