Petrakis, Iosif, University of Verona, Italy
-
Vol 17 (2025) - Articles
A predicative approach to the constructive integration theory of locally compact metric spaces
Abstract FDS4. [PDF]
Journal of Logic and Analysis ISSN: 1759-9008
Journal of Logic and Analysis ISSN: 1759-9008