Grubmüller, Fabian Lukas, Stockholm University, Sweden

• 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