Descente infinie + Deduction (0)

by C-P Wirth
Venue:Logic J. of the IGPL