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