VERSION|0.4.5|SUBJECT|Ultimo seminário do ano|CONTENT|Oi,

O Gabriel concluiu a sua apresentação sobre teorema de completude para as BL-lógica. Os slides estão no link do post abaixo. Com isto concluímos mais um semestre de seminários. Os assíduos frequentadores estão denunciados nas fotos abaixo.

[img=images/Foto_113007_004.jpg width=110pt popup=true float=left] [img=images/Foto_113007_005.jpg width=110pt popup=true]

-- Pedro A Tonelli --|CATEGORIES|5|DATE|1196613672