scientific article
From MaRDI portal
Publication:3720600
zbMath0592.03050MaRDI QIDQ3720600
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
The Skolemization of existential quantifiers in intuitionistic logic ⋮ Gentzen calculi for the existence predicate
This page was built for publication: