scientific article; zbMATH DE number 5060344
From MaRDI portal
Publication:5490807
zbMath1105.03311MaRDI QIDQ5490807
Publication date: 4 October 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
The extensions \(\mathcal L_n^{\ast}\) of the formal system \(\mathcal L^{\ast}\) and their completeness. ⋮ The strength of the \(\Delta\)-system lemma
This page was built for publication: