Grzegorz Soza. Asymptotic Density as a Method of Expressing Quantitative Relations in Intuitionistic Logic. Reports on Mathematical Logic, 36:71-93, 2002. [doi]
@article{Soza02,
title = {Asymptotic Density as a Method of Expressing Quantitative Relations in Intuitionistic Logic},
author = {Grzegorz Soza},
year = {2002},
url = {http://www.iphils.uj.edu.pl/rml/rml-36/a-soz-36.htm},
tags = {logic},
researchr = {https://researchr.org/publication/Soza02},
cites = {0},
citedby = {0},
journal = {Reports on Mathematical Logic},
volume = {36},
pages = {71-93},
}