Integration in Real PCF
scientific article; zbMATH DE number 1853113
scientific article