Computability on finite linear configurations
From MaRDI portal
Publication:1211505
DOI10.1305/ndjfl/1093891794zbMath0292.02034OpenAlexW2006725175MaRDI QIDQ1211505
Publication date: 1975
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093891794
Computability and recursion theory (03D99) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)
This page was built for publication: Computability on finite linear configurations