scientific article; zbMATH DE number 917173
From MaRDI portal
Publication:4889580
zbMath0844.00017MaRDI QIDQ4889580
No author found.
Publication date: 14 August 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
ConferenceProceedingsComputer scienceMathematicsPhysicsGödelBrno (Czech Republic)Logical foundations
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Related Items
UNIFORM INTERPOLATION IN SUBSTRUCTURAL LOGICS ⋮ Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic
