Implicative logics, sequential deductive systems and exponential multicategories

Bulletin of the Section of Logic, Tom 29, Numer 1-2 (2000) s. 13-25
Vladimir L. Vasyukov

 

do góry