Descente Infinie + Deduction (2004)

by Claus-Peter Wirth
Venue:Logic J. of the IGPL