Magasabb rendű logika és típuselmélet

Olvasói vélemények

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

Eredeti címe:

Higher-Order Logic and Type Theory

Könyv tartalma:

A másod- és magasabb rendű logika és típuselmélet ismertetése.

Tartalmazza a klasszikus másodrendű logika szintaxisát és szemantikáját, valamint a típus fogalmán alapuló magasabb rendű logika tárgyalását. Kitér a típuselmélet eredetére és természetére, a halmazelmélettel való kapcsolatára, valamint a típuselmélet kortárs formáinak leírására is.