An absolute first order predicte calculus

Bulletin of the Section of Logic, Tom 2, Numer 1 (1973) s. 38-43
Vladimir A. Smirnov

 

do góry