Indecidibilidade da Lógica dos Predicados

Description:  Area(s): Date:  2001-05-30 Start Time:   14.00 Speaker:  Maria Teresa Martins (CMUC) Place:  Room 5.5 Research Groups: -Algebra, Logic and Topology See more:   <Main>