Raționament în teoria tipurilor simple: Festschrift în onoarea lui Peter B. Andrews la cea de-a 70-a aniversare a sa

Recenzii ale cititorilor

În prezent, nu există recenzii ale cititorilor. Evaluarea se bazează pe 2 voturi.

Titlul original:

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

Conținutul cărții:

Reasoning in Simple Type Theory este o colecție de lucrări care include reeditări a opt lucrări de referință în acest domeniu, precum și treisprezece articole noi.

Pentru retipăriri am ales o lucrare a lui Alonzo Church (care prezintă teoria sa simplă a tipurilor), o lucrare a lui Leon Henkin (care dovedește completitudinea teoriei tipurilor lui Church în raport cu semantica lui Henkin) și unele dintre cele mai importante lucrări ale lui Peter Andrews. La noile articole au contribuit Peter Andrews și studenții și colaboratorii săi, precum și o serie de cercetători pe care activitatea sa i-a influențat.

Volumul își propune să arate dezvoltarea istorică a acestui domeniu important al raționamentului formal până la stadiul actual al tehnicii și apare în onoarea lui Peter Andrews la împlinirea a 70 de ani de la nașterea sa.