@inbookMeer_Ziegler_2006, place=Berlin, Heidelberg, title=Uncomputability Below the Real Halting Problem, DOI=10.1007/11780342_39, booktitle=Logical Approaches to Computational Barriers, author=Meer, Klaus and Ziegler, Martin, year=2006 
LibreCat: /record/17987
DOI: 10.1007/11780342_39