Computability and logic

Computability and logic1974
George Boolos, George S. Boolos, Richard C. Jeffrey, John P. Burgess
Details
- First published
- 1974
- OL Work ID
- OL2721474W
Subjects
Computable functionsLogic, Symbolic and mathematicalRecursive functionsSymbolic and mathematical LogicMathematical foundationsPhilosophyGeneralPhilosophy / LogicMathematical logicMathematicsScience/MathematicsLogic