Concepedia
The Journal of Philosophy · 1990 · 99 citations · 0 references
HumanitiesMathematicsPhilosophy Of MathematicsChurch-turing ThesisProof TheoryProof WritingExtended Church-turing ThesisPhilosophy Of Proof