Remarks on variable binding term operators

Bulletin of the Section of Logic, Tom 15, Numer 4 (1986) s. 145-149
Celina A.A.P. Abar, Mineko Yamashita

 

do góry