unset title
>
Event_plural
>
Consistency, cut-elimination, normalization
login
login
password
log in
cancel
search
actions - event
state: published
cancelpublished
view workflow
Consistency, cut-elimination, normalization
old_uid
14319
title
Consistency, cut-elimination, normalization
start_date
2017/11/21
schedule
17h30-19h30
online
no
responsibles
Pataut
,
Poggiolesi
hosted_by
Institut d'histoire et de philosophie des sciences et des techniques - IHPST
speakers
Pereira
event_of
Philosophie des mathématiques et de la logique (séminaire Philmath de l’IHPST, UMR 8590 CNRS, Université Paris 1-Panthéon Sorbonne) (2017)