Gentzen systems and decision procedures for relevant logics

Bulletin of the Section of Logic, Tom 11, Numer 3-4 (1982) s. 169-174
Steve Giambrone

 

do góry