A note on Lambek - van Benthem calculus

Bulletin of the Section of Logic, Tom 13, Numer 1 (1984) s. 31-35
Wojciech Buszkowski

 

do góry