![Mathematics / Ordinal numbers / Set theory / Proof theory / General topology / Jensen hierarchy / Ordinal arithmetic / Mathematical logic / Symbol / Constructible universe Mathematics / Ordinal numbers / Set theory / Proof theory / General topology / Jensen hierarchy / Ordinal arithmetic / Mathematical logic / Symbol / Constructible universe](https://www.pdfsearch.io/img/e6089776a4f2b7c70cae61c68c38d5ec.jpg)
| Document Date: 2013-06-03 06:05:55 Open Document File Size: 564,47 KBShare Result on Facebook
Company Russell / / / Facility Computer Science University of Birmingham Birmingham / / Organization Martín Escardó1 School / Computer Science University of Birmingham Birmingham / / Person Thierry Coquand / Dan Ghica / Achim Jung / / Position Bishop / / ProgrammingLanguage Haskell / / URL www.elsevier.nl/locate/entcs / /
SocialTag |