Deductive systems and categories

I. Syntactic Calculus and Residuated Categories

Verfasser / Beitragende:
[Joachim Lambek]
Ort, Verlag, Jahr:
1968
Enthalten in:
Mathematical systems theory, 2/4(1968-12-01), 287-318
Format:
Artikel (online)
ID: 450289389