A computable approach to measure and integration theory
scientific article; zbMATH DE number 5562794
scientific article