Formalizing Church's Thesis

LFM Horsten

Research output: Chapter in Book/Report/Conference proceedingChapter in a book

Translated title of the contributionFormalizing Church's Thesis
Original languageEnglish
Title of host publicationChurch's Thesis after 70 years
EditorsA. Olszewski
PublisherOntos Mathematical Logic
Pages253 - 268
ISBN (Print)9783938793091
Publication statusPublished - 2006

Cite this

Horsten, LFM. (2006). Formalizing Church's Thesis. In A. Olszewski (Ed.), Church's Thesis after 70 years (pp. 253 - 268). Ontos Mathematical Logic.