Asymptotic Density as a Method of Expressing Quantitative Relations in Intuitionistic Logic

Grzegorz Soza. Asymptotic Density as a Method of Expressing Quantitative Relations in Intuitionistic Logic. Reports on Mathematical Logic, 36:71-93, 2002. [doi]

Abstract

Abstract is missing.