Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
Auteur :
Buchholz, W.
Éditeur :
Buchholz, W.Feferman, S.,Pohlers, W.,Sieg, W.,
ISBN :
9783540111702
Date de publication :
1 déc. 1981
Dimensions :
23,4 x 15,6 x 2,0 cm
Poids :
548 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne