The rule of parametric substitution in protothetic

Bulletin of the Section of Logic, Tom 14, Numer 4 (1985) s. 134-139
Janis Cirulis

 

do góry