Kategorikus logika és típuselmélet: Volume 141

Olvasói vélemények

Jelenleg nincsenek olvasói vélemények. Az értékelés 5 olvasói szavazat alapján történt.

Eredeti címe:

Categorical Logic and Type Theory: Volume 141

Könyv tartalma:

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.