scientific article; zbMATH DE number 1420834
From MaRDI portal
Publication:4944902
zbMath0943.03020MaRDI QIDQ4944902
Publication date: 5 September 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
First-order Gödel logics ⋮ Ten problems in Gödel logic ⋮ Decision methods for linearly ordered Heyting algebras
This page was built for publication: