Truth-Makers and Proof-Objects - Paris 23-25 nov. 2011

Le site est en construction. Seuls les administrateurs, coordinateurs et webmasters de la conférence peuvent se connecter.