"Logic for Computable Functions"@cs .