The completeness of the Lambek calculus with respect to relational semantics

Bulletin of the Section of Logic, Tom 21, Numer 2 (1992) s. 55-66
Szabolcs Mikulas

 

do góry