Publication:3322087
From MaRDI portal
zbMath0537.03029MaRDI QIDQ3322087
Publication date: 1980
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03D75: Abstract and axiomatic computability and recursion theory
Related Items
An essay in combinatory dynamic logic, PDL with data constants, Diagonal fixed points in algebraic recursion theory