scientific article; zbMATH DE number 6157352

zbMath1261.03092MaRDI QIDQ4918418

Ross T. Brady

Publication date: 24 April 2013

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

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items

METAVALUATIONS