scientific article
From MaRDI portal
Publication:3604277
zbMath1157.03307MaRDI QIDQ3604277
Publication date: 24 February 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophical and critical aspects of logic and foundations (03A05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Combinatory logic and lambda calculus (03B40)
This page was built for publication: