scientific article
From MaRDI portal
Publication:3867809
zbMath0431.03015MaRDI QIDQ3867809
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
epsilon symbolintuitionistic predicate calculus with identityintuitionistic system of natural deduction
Related Items (1)
This page was built for publication: