Computability and logicde George S. Boolos, John P. Burgess, Richard C. Jeffrey5.0 · 1 votosMateriasRecursive functionsSymbolic and mathematical LogicComputable functionsLogic, symbolic and mathematicalQa9.59 .b66 2007
