Many-sequent first order predicate logic

Bulletin of the Section of Logic, Tom 22, Numer 1 (1993) s. 4-8
Piotr Borowik

 

do góry