scientific article
From MaRDI portal
Publication:3322087
zbMath0537.03029MaRDI QIDQ3322087
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Abstract and axiomatic computability and recursion theory (03D75)
Related Items
Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Diagonal fixed points in algebraic recursion theory ⋮ PDL with data constants ⋮ An essay in combinatory dynamic logic