scientific article; zbMATH DE number 6174933
From MaRDI portal
Publication:4925873
zbMath1301.03058MaRDI QIDQ4925873
Stefan Wintein, Reinhard A. Muskens
Publication date: 12 June 2013
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
A Gentzen calculus for nothing but the truth ⋮ From bi-facial truth to bi-facial proofs ⋮ Analytic tableaux for all of \(\mathrm{SIXTEEN}_3\)
This page was built for publication:
