Completeness results for Lambek Syntactic Calculus, Zeitschrift für mathematische Logik und Grundlagen de Mathematik 32:13– 28 (1986)

by W Buszkowski