scientific article; zbMATH DE number 1114335
From MaRDI portal
Publication:4376051
zbMath0887.03040MaRDI QIDQ4376051
Publication date: 17 May 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
cut eliminationsecond-order propositional logic with Hilbert's \(\varepsilon\)-symbol, extensionality and full comprehension
This page was built for publication:
