Equational reasoning in non-classical logics

Bulletin of the Section of Logic, Tom 26, Numer 1 (1997) s. 2-11
Marcelo F. Frias, Ewa Orłowska

 

do góry