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>  
 
© Centre for Mathematics, University of Coimbra, funded by
Science and Technology Foundation
Powered by: rdOnWeb v1.4 | technical support