Bar recursive encodings of tree ordinals
DSpace/Manakin Repository
Bar recursive encodings of tree ordinals
Bezem, M.A.; Buchholz, W.
(1991) Logic Group Preprint Series, volume 68
(Article)
Download/Full Text
Open Access version via Utrecht University Repository
Publisher version
See
more statistics
about this item
