Completeness Results for Lambek Syntactic Calculus, Zeitschrift für mathematische Logik und Grundlagen der Mathematik 32 (1986)

by W Buszkowski
Venue:1996 by Nicolaus Copernicus University 84 Wojciech Buszkowski