Sciweavers

MPC
2010
Springer
157views Mathematics» more  MPC 2010»
13 years 10 months ago
The Logic of Large Enough
Abstract. In this paper we explore the “for large enough” quantifier, also known as “all but finitely many”, which plays a central role in asymptotic reasoning, as used f...
Eerke A. Boiten, Dan Grundy