scientific article
From MaRDI portal
Publication:3904556
zbMath0456.00004MaRDI QIDQ3904556
No author found.
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Related Items (5)
Recursion theory and ordered groups ⋮ Sound, totally sound, and unsound recursive equivalence types ⋮ Computable Kripke models and intermediate logics ⋮ Decidable Kripke models of intuitionistic theories ⋮ Computable isomorphisms, degree spectra of relations, and Scott families
This page was built for publication:
