scientific article; zbMATH DE number 753772

zbMath0821.03003MaRDI QIDQ4698605

Joachim Lambek

Publication date: 18 September 1995

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Gentzen- intuitionistic-styleGentzen-classical-styleHilbert-styleLawvere-styleSchütte-stylestyles of deductive systems

Mathematics Subject Classification ID

Abstract deductive systems (03B22)

Related Items

\(*\)-autonomous categories of bimodules

This page was built for publication: