Logica de ordin superior și teoria tipurilor

Recenzii ale cititorilor

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

Titlul original:

Higher-Order Logic and Type Theory

Conținutul cărții:

O expunere a logicii de ordinul doi și superior și a teoriei tipurilor.

Cuprinde sintaxa și semantica logicii clasice de ordinul doi și o discuție despre logica de ordin superior bazată pe conceptul de tip. De asemenea, sunt explorate originile și natura teoriei tipurilor, relația sa cu teoria seturilor și descrieri ale formelor contemporane ale teoriei tipurilor.