scientific article; zbMATH DE number 918106
From MaRDI portal
Publication:4888735
zbMath0851.00045MaRDI QIDQ4888735
No author found.
Publication date: 19 August 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Related Items (2)
Equality of proofs for linear equality ⋮ Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic
This page was built for publication: