Érvelés az egyszerű típuselméletben: Festschrift in Honor of Peter B. Andrews on His 70th Birthday (Festschrift Peter B. Andrews 70. születésnapja tiszteletére)

Olvasói vélemények

Jelenleg nincsenek olvasói vélemények. Az értékelés 2 olvasói szavazat alapján történt.

Eredeti címe:

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

Könyv tartalma:

A Reasoning in Simple Type Theory egy olyan tanulmánygyűjtemény, amely a terület nyolc alapvető jelentőségű tanulmányának újranyomását, valamint tizenhárom új cikket tartalmaz.

Az újranyomásokhoz Alonzo Church egy dolgozatát (egyszerű típuselméletének bemutatása), Leon Henkin egy dolgozatát (Church típuselméletének teljességének bizonyítása Henkin szemantikájához képest) és Peter Andrews néhány legfontosabb dolgozatát választottuk. Az új cikkekhez Peter Andrews és tanítványai, munkatársai, valamint számos olyan kutató járult hozzá, akikre munkássága hatással volt.

A kötet a formális érvelés e fontos területének történeti fejlődését kívánja bemutatni egészen a jelenlegi állapotáig, és Peter Andrews tiszteletére jelenik meg 70. születésnapja alkalmából.