Jesteśmy społecznością, która kocha książki

Książka stanowi wyczerpującą monografię tezy Churcha, wraz z filozoficznym, ontologicznym i epistemologicznym tłem zagadnienia. Wprowadzenie zawiera silny kontekst historyczny, który niewątpliwie pomaga uchwycić dążenia epoki, a przez to zrozumieć skąd teza Churcha pochodzi i jaka jest jej istota. Minusem książki jest bardzo słaby system oznaczeń formalizmów. W wielu miejscach trzeba się domyślać, co dana symbolika znaczy. Zapisy formalne często podane są bez odpowiedniego wstępu i legendy, co sprawia wrażenie umieszczenia ich na siłę. Ogromny plus należy się za wyczerpującą bibliografię. Pozycja warta jest polecenia, ale głównie dla osób, które posiadają już pewną praktykę w tekstach z zakresu filozofii matematyki.