Talk:Logics for computability