Logic, construction, computation
Éditeur :
De Gruyter
ISBN :
9783110324532
Date de publication :
20 juil. 2012
Dimensions :
21,0 x 14,8 cm
Poids :
826 g
Langue :
Anglais
Pays d'origine :
Allemagne
Over the last few decades the interest of logicians and mathematicians in constructive and computational aspects of their subjects has been steadily growing. This volume contains 20 articles from experts about developments in Constructive set theory, Provably recursive functions, Program extraction, Theories of truth, and Constructive mathematics.