A Note on Decision Problems for Implicational Sequent Calculi

Bulletin of the Section of Logic, Tom 30, Numer 3 (2001) s. 129-138
Norihiro Kamide

 

do góry