Réunion ANR Récré, 2012-11-15

Réunion ANR Récré, Nov. 15, 2012

Jean-Louis Krivine (Paris 7), Some examples of realizability models of ZF

Schedule

Nov. 15, 2012, 10:30 - 12:00

ENS Lyon

Investissements d'avenir

Menu:
- Home
- Access
- Meetings
Personal:
- Login
- Create account
Réunion ANR Récré, 2012-11-15:
- Programme
- Participants