Deductive systems and categories
I. Syntactic Calculus and Residuated Categories
Gespeichert in:
Verfasser / Beitragende:
[Joachim Lambek]
Ort, Verlag, Jahr:
1968
Enthalten in:
Mathematical systems theory, 2/4(1968-12-01), 287-318
Format:
Artikel (online)
Online Zugang: