Ragionamento nella teoria dei tipi semplici: Festschrift in onore di Peter B. Andrews per il suo 70° compleanno

Recensioni dei lettori

Attualmente non ci sono recensioni dei lettori. La valutazione si basa su 2 voti.

Titolo originale:

Reasoning in Simple Type Theory: Festschrift in Honor of Peter B. Andrews on His 70th Birthday

Contenuto del libro:

Reasoning in Simple Type Theory è una raccolta di articoli che comprende le ristampe di otto articoli seminali in questo settore e tredici nuovi contributi.

Per le ristampe abbiamo scelto un articolo di Alonzo Church (che introduce la sua teoria dei tipi semplici), un articolo di Leon Henkin (che dimostra la completezza della teoria dei tipi di Church rispetto alla semantica di Henkin) e alcuni dei più importanti articoli di Peter Andrews. I nuovi articoli sono stati scritti da Peter Andrews e dai suoi studenti e collaboratori, oltre che da alcuni ricercatori che il suo lavoro ha influenzato.

Il volume intende mostrare lo sviluppo storico di questa importante area del ragionamento formale fino al suo attuale stato dell'arte e viene pubblicato in onore di Peter Andrews nel giorno del suo 70° compleanno.