Generalized recursion theory. Proceedings of the 1972 Oslo symposium
From MaRDI portal
Publication:758957
zbMath0272.00006MaRDI QIDQ758957
No author found.
Publication date: 1974
Published in: Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)
Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Conference proceedings and collections of articles (00Bxx) Computability and recursion theory (03Dxx)
Related Items (3)
On the proof-theoretic strength of monotone induction in explicit mathematics ⋮ Inductive definability in formal language theory ⋮ α-Degrees of maximal α-r.e. sets
This page was built for publication: Generalized recursion theory. Proceedings of the 1972 Oslo symposium
