Inductive Definitions and Computability
From MaRDI portal
Publication:5628117
DOI10.2307/1995907zbMath0223.02043OpenAlexW4240312699MaRDI QIDQ5628117
Publication date: 1971
Full work available at URL: https://doi.org/10.2307/1995907
Cites Work
This page was built for publication: Inductive Definitions and Computability