scientific article; zbMATH DE number 1852923
From MaRDI portal
Publication:4789453
zbMath1003.03514MaRDI QIDQ4789453
No author found.
Publication date: 29 January 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Socratic proofs ⋮ The Classical Model Existence Theorem in Subclassical Predicate Logics I ⋮ Simple consequence relations
This page was built for publication:
