๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A characterization of the(Sigma_1)-definable functions of(KPomega + (uniform; AC))

โœ Scribed by Wolfgang Burr; Volker Hartung


Book ID
105842536
Publisher
Springer
Year
1998
Tongue
English
Weight
155 KB
Volume
37
Category
Article
ISSN
0933-5846

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES