Login / Signup

Deductive Systems and Categories I. Syntactic Calculus and Residuated Categories.

Joachim Lambek
Published in: Math. Syst. Theory (1968)
Keyphrases