Wyniki
-
Remarks on variable binding term operators
Celina A.A.P. Abar, Mineko Yamashita
Bulletin of the Section of Logic , 15 /4 (1986) s. 145-149
Celina A.A.P. Abar,
Mineko Yamashita
Bulletin of the Section of Logic
, 15
/4
(1986)
s. 145-149