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


Contact | Site Map | Site powered by SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4196910