The Taming of the Cut. Classical Refutations with Analytic Cut (1994)

Cached

Download Links

by Marcello D'Agostino , Marco Mondadori
Venue:JOURNAL OF LOGIC AND COMPUTATION
Citations:63 - 1 self