Erratum
From MaRDI portal
Publication:5894677
DOI10.2307/2586780zbMath1378.03034MaRDI QIDQ5894677
Lawrence S. Moss, Yiannis N. Moschovakis, Glen Whitney, Antonius J. C. Hurkens, Monica McArthur
Publication date: 19 January 2018
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2586780
03B70: Logic in computer science
68Q55: Semantics in the theory of computing
03D75: Abstract and axiomatic computability and recursion theory