Quasi-equational Logic

Description:  Area(s): Category Theory Date:  2005-10-18 Start Time:   14.15 Speaker:  Lurdes Sousa (CMUC/IPViseu) Place:  5 Research Groups: -Algebra, Logic and Topology See more:   <Main>