Logika i obliczenia: Eseje na cześć Amilcara Sernadasa

Oryginalny tytuł:

Logic and Computation: Essays in Honour of Amilcar Sernadas

Zawartość książki:

Niniejszy tom upamiętnia bardzo znaczący i oryginalny wkład naukowy Am lcara Sernadasa (1952-2017), a także jego wybitną karierę akademicką.

Ta kompilacja artykułów autorstwa kolegów, byłych studentów i przyjaciół została przygotowana w miesiącach następujących po konferencji na cześć Am lcara, która odbyła się w Instituto Superior T cnico w kwietniu 2016 r. z okazji jego 64.

urodzin.