A formal system without well-formed formulas

Bulletin of the Section of Logic, Tom 8, Numer 1 (1979) s. 27-29
Martin Tabakov

 

do góry