TY - CHAP AU - Meer, Klaus AU - Ziegler, Martin ID - 17987 SN - 0302-9743 T2 - Logical Approaches to Computational Barriers TI - Uncomputability Below the Real Halting Problem ER -