Navigation
Logic Group Preprint Series
'
Logic Group Preprint Series
Skip to content
Buchholz, W.
Volume
Title
68
Bar recursive encodings of tree ordinals
Bezem, Marc
|
Buchholz, W.
Online
