Date of Original Version
7-1997
Type
Technical Report
Abstract or Table of Contents
Wilfried Sieg. Formal Systems, Church Turing Thesis, and Gödel's Theorems: Three Contributions to The MIT Encyclopedias of Cognitive Science.
7-1997
Technical Report
Wilfried Sieg. Formal Systems, Church Turing Thesis, and Gödel's Theorems: Three Contributions to The MIT Encyclopedias of Cognitive Science.
Comments
CMU-PHIL-79