scientific article; zbMATH DE number 975274
From MaRDI portal
Publication:5283964
zbMath0861.03044MaRDI QIDQ5283964
Romà J. Adillon, Ventura Verdú
Publication date: 12 May 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
BCK-algebras, BCI-algebras (06F35) Other algebras related to logic (03G25) Proof theory in general (including proof-theoretic semantics) (03F03)
This page was built for publication: