Two New Results on Adaptive Logics and Dynamic Proofs

What Lecture
When 04/10/2000 - 00:00
Where To be announced
Speaker(s)
Diderik Batens (CLPS, UGent)
Website http://logica.ugent.be/centrum/events/abstracts/okt4.html