Incompleteness for higher-order arithmetic: an example based on harrington’s principle
Auteur :
Cheng, Yong
Éditeur :
Springer Verlag, Singapore
ISBN :
9789811399480
Date de publication :
11 sept. 2019
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Singapour