scientific article
From MaRDI portal
Publication:3977164
zbMath0799.03051MaRDI QIDQ3977164
Publication date: 25 June 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other algebras related to logic (03G25) General topics in the theory of software (68N01) Abstract and axiomatic computability and recursion theory (03D75)
This page was built for publication: