Tell your friends about this item:
Church's Thesis After 70 Years - Ontos Mathematical Logic Adam Olszewski
Price
$ 200.99
excl. VAT
Ordered from remote warehouse
Expected to be ready for shipping Jul 22 - 28
Get notified about new Adam Olszewski releases
Our customers say:
Add to your iMusic wish list
Church's Thesis After 70 Years - Ontos Mathematical Logic
Adam Olszewski
Provides summary of the state of research on Church's Thesis. This book includes the following: different formulations of CT, CT and intuitionism, CT and intensional mathematics, CT and physics, the epistemic status of CT, CT and philosophy of mind, provability of CT and CT and functional programming.
| Media | Books Hardcover Book (Book with hard spine and cover) |
| Released | June 15, 2006 |
| ISBN13 | 9783110324945 |
| Publishers | De Gruyter |
| Pages | 551 |
| Dimensions | 148 × 210 × 41 mm · 837 g |
| Language | German |
| Editor | Janusz, Robert |
| Editor | Olszewski, Adam |
| Editor | Wolenski, Jan |
![Cover for Anne-Marie Bonnet · Michael Muller. Ernstes Spiel. Catalogue Raisonne: Vol. 1.1, Painting 1982–2016 (Hardcover Book) [New edition] (2026)](https://imusic.b-cdn.net/images/item/original/663/9783422996663.jpg?anne-marie-bonnet-2026-michael-muller-ernstes-spiel-catalogue-raisonne-vol-1-1-painting-1982-2016-hardcover-book&class=scaled&v=1692822346)
![Cover for Eva-Maria Seng · Erkundungen in Die Kunstgeschichte: Kirchenbau - Stadtebau - Utopie (Paperback Book) [1., Aufl. edition] (2026)](https://imusic.b-cdn.net/images/item/original/704/9783422068704.jpg?eva-maria-seng-2026-erkundungen-in-die-kunstgeschichte-kirchenbau-stadtebau-utopie-paperback-book&class=scaled&v=1605702344)
![Cover for CARE MATTERS: Art from the VERBUND COLLECTION, Vienna (Hardcover Book) [Englische Ausgabe edition] (2026)](https://imusic.b-cdn.net/images/item/original/947/9783422803947.jpg?2026-care-matters-art-from-the-verbund-collection-vienna-hardcover-book&class=scaled&v=1773988583)
