bibtex

@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},
}

URL

Sections de Publications


Contact | Plan du site | Site réalisé avec SPIP 3.0.28 + AHUNTSIC [CC License]

info visites 1169503