Quantification over lines

Bulletin of the Section of Logic, Tom 20, Numer 3-4 (1991) s. 116
Heinz-Peter Tuschnik

 

do góry