Veblen hierarchy in the context of provability algebras:
Gespeichert in:
Bibliographische Detailangaben
Beteilige Person: Beklemishev, Lev D. 1967- (VerfasserIn)
Format: Buch
Sprache:Englisch
Veröffentlicht: Utrecht Dep. of Philosophy, Utrecht Univ. 2004
Schriftenreihe:Logic Group preprint series 232
Schlagwörter:
Umfang:15 S.