Computability and logic
by George Boolos, Richard C. Jeffrey, George S. Boolos, John P. Burgess · 1974
Popularity 7
No description available.
Computable functionsLogic, Symbolic and mathematicalRecursive functionsSymbolic and mathematical LogicMathematical foundationsPhilosophyGeneralPhilosophy / LogicMathematical logicMathematicsScience/MathematicsLogic