jest i gloryfikowany, i który przemawia poprzez proroków Intelektu. Oczekuję końca w śmierci a nie następnego życia w świecie, jaki nie nadejdzie.
Publikacje Classical recursion Theory (1989) The C.I.M.E. Montecatini Meeting (pod redakcją) (1990) Logic and Computer Science (pod redakcją) (1990) Kreiseliana. About and around Georg Kreisel (pod redakcją) (1996) Classical recursion Theory. Tom II (1999) Il Vangelo secondo la Scienza / Ewangelia wedle nauki (1999) Il computer di Dio / Komputer Boga (2000) La matematica del Novecento / Matematyka XX wieku (2000) C'era una volta un paradosso / Był sobie paradoks (2001) La repubblica dei numeri / Republika liczb (2002) Divertimento geometrico. Da Euclide a Hilbert / Geometryczna zabawa. Od Euklidesa po Hilberta (2003) Il diavolo in cattedra. La logica matematica da Aristotele a Gödel / Diabeł w katedrze. Logika matematyczna od Arystotelesa po Gödla (2003) Le menzogne di Ulisse. L'avventura della logica da Parmenide ad Amartya Sen / Kłamstwa Odyseusza. Przygody logiki od Parmenidesa po Amartya Sen (2004) Penna, pennello, bacchetta. Le tre invidie del matematico / Pióro, pędzel, pałeczka. Trzy zazdrości matematyka (2005) Il matematico impertinente / Matematyk impertynencki (2005) La scienza espresso.