Értékelés:
Jelenleg nincsenek olvasói vélemények. Az értékelés 7 olvasói szavazat alapján történt.
Higher-Order Logic and Type Theory
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.
© Book1 Group - minden jog fenntartva.
Az oldal tartalma sem részben, sem egészben nem másolható és nem használható fel a tulajdonos írásos engedélye nélkül.
Utolsó módosítás időpontja: 2024.11.13 21:05 (GMT)