Értékelés:

Jelenleg nincsenek olvasói vélemények. Az értékelés 5 olvasói szavazat alapján történt.
Categorical Logic and Type Theory: Volume 141
Ez a könyv arra tesz kísérletet, hogy mind a logikát, mind a típuselméletet kategorikus szemszögből, a szálas kategória egységesítő fogalmának segítségével szisztematikusan bemutassa.
Célközönségét logikusok, típuselméleti szakemberek, kategóriaelméleti szakemberek és (elméleti) informatikusok alkotják.