Inexhaustibility: A Non-Exhaustive Treatment (Lecture Notes in Logic, 16)