Kategorická logika a teória typov: Vydanie: 141. zväzok

Recenzie čitateľov

Momentálne nie sú žiadne recenzie čitateľov. Hodnotenie je založené na 5 hlasoch.

Pôvodný názov:

Categorical Logic and Type Theory: Volume 141

Obsah knihy:

Táto kniha je pokusom o systematickú prezentáciu logiky aj teórie typov z kategoriálneho hľadiska, pričom využíva zjednocujúci pojem vláknitej kategórie.

Jej cieľovú skupinu tvoria logici, teoretici typov, teoretici kategórií a (teoretickí) informatici.