Adbuction and induction : essays on their relation and integration - Flach, Peter A.; Κάκας, Αντώνης Γ (Applied logic series ; ;, 2000)