scientific article
From MaRDI portal
Publication:4026929
zbMath0788.03053MaRDI QIDQ4026929
Publication date: 21 February 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
intuitionistic mathematicsHeyting-valued analysisdecidable predicatetranslation from classical logic to intuitionistic logic
This page was built for publication: