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:52 - 1 self