American Mathematical Monthly · 1966 · 187 citations · 0 references
HumanitiesComputer ScienceMathematicsLogicNumber TheoryPhilosophy Of MathematicsChurch-turing ThesisComputability TheoryMathematical LogicMathematical ReasoningProof TheoryAlgorithmic Number TheoryHistory Of LogicLambda CalculusMathematical TextbooksNumber-theoretic ProofsSymbolic LogicTheories Of Arithmetic