An open problem in Tarski's calculus of deductive systems

Bulletin of the Section of Logic, Tom 20, Numer 2 (1991) s. 36-43
David Miller

 

do góry