Short introduction to intuitionistic logic, a
Auteur :
Mints, Grigori
Éditeur :
Springer-Verlag New York Inc.
ISBN :
9781475773194
Date de publication :
26 avr. 2013
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.