scientific article; zbMATH DE number 6276272
From MaRDI portal
Publication:5406038
zbMath1284.03173MaRDI QIDQ5406038
Norbert Preining, Matthias Baaz
Publication date: 1 April 2014
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
On the classification of first order Gödel logics ⋮ Monotone operators on Gödel logic ⋮ A generalized proof-theoretic approach to logical argumentation based on hypersequents
This page was built for publication:
