Rozumowanie w prostej teorii typów: Festschrift na cześć Petera B. Andrewsa z okazji 70. urodzin

Opinie czytelników

Obecnie brak opinii czytelników. Ocena opiera się na 2 głosach.

Oryginalny tytuł:

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

Zawartość książki:

Reasoning in Simple Type Theory to zbiór artykułów, który zawiera przedruki ośmiu przełomowych prac w tej dziedzinie, a także trzynaście nowych artykułów.

Do przedruków wybraliśmy artykuł Alonzo Churcha (przedstawiający jego prostą teorię typów), artykuł Leona Henkina (dowodzący kompletności teorii typów Churcha względem semantyki Henkina) oraz niektóre z najważniejszych artykułów Petera Andrewsa. Nowe artykuły zostały napisane przez Petera Andrewsa, jego studentów i współpracowników, a także wielu badaczy, na których jego praca wywarła wpływ.

Tom ma na celu pokazanie historycznego rozwoju tej ważnej dziedziny rozumowań formalnych aż do jej obecnego stanu wiedzy i ukazuje się na cześć Petera Andrewsa w jego 70. urodziny.