20/10/2006, 16:30 — 17:30 — Room P3.10, Mathematics Building
Jaime Ramos, Instituto Superior Técnico
Towards exogenous quantum first-order logic (conclusion)
Conclusion of the previous talk.
Please note exceptional time and room