View of Indexed multi-succedent calculus with invertible rules for the constructive logic | Lietuvos matematikos rinkinys

← Indexed multi-succedent calculus with invertible rules for the constructive logic