Hodnotenie:
Momentálne nie sú žiadne recenzie čitateľov. Hodnotenie je založené na 7 hlasoch.
Higher-Order Logic and Type Theory
Výklad logiky druhého a vyššieho rádu a teórie typov.
Obsahuje syntax a sémantiku klasickej logiky druhého rádu a diskusiu o logike vyššieho rádu založenej na pojme typu. Skúmajú sa tiež pôvod a povaha teórie typov, jej vzťah k teórii množín a opis súčasných foriem teórie typov.