@phdthesis{Rie4,
title = { On Forcing and Classical Realizability },
author = {Rieg, Lionel},
month = {Jun},
year = {2014},
type = {Theses},
number = {2014},
school = {{{\'E}cole normale sup{\'e}rieure de {L}yon}},
team = {Ens de Lyon, Other},
}
bibtex
Contact |
Plan du site |
Site réalisé avec SPIP 4.4.28 +
AHUNTSIC
[CC License]
info visites 33095356
|
|
|