Cut Free Formalization of Logic with Finitely Many Variables. Part I.

Lew Gordeev

Browse the full CSL paper archive.