David Fernández-Duque
ICS of the
Czech Academy of Sciences
Department of Mathematics WE16, Ghent University
Home
|
Publications
|
Links
Some useful links
The Intuitionistic Temporal Logic project
The Reflection Spectra project
My DBLP page
Wormshop 2019
Andreas Weiermann's homepage
Ghent University Department of Mathematics WE16
Joost Joosten's homepage
The Proof Society
Ana de Almeida Borges' homepage