| Translated title of the contribution | Formalizing Church's Thesis |
|---|---|
| Original language | English |
| Title of host publication | Church's Thesis after 70 years |
| Editors | A. Olszewski |
| Publisher | Ontos Mathematical Logic |
| Pages | 253 - 268 |
| ISBN (Print) | 9783938793091 |
| Publication status | Published - 2006 |
Formalizing Church's Thesis
LFM Horsten
Research output: Chapter in Book/Report/Conference proceeding › Chapter in a book