> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book Titel: Realizability : an introduction to its categorical side Beteiligte: Oosten, Jaap van [VerfasserIn] Körperschaft: ScienceDirect (Online service) Erschienen: Oxford: Elsevier, 2008 Online-Ausg.] Erschienen in: Studies in logic and the foundations of mathematics ; 152 Ausgabe: 1st ed Umfang: Online-Ressource; xvi, 310 p; 24 cm Sprache: Englisch ISBN: 0444515844; 9780444515841 RVK-Notation: SK 130 : Logik und Grundlagen, Metamathematik, Schlagwörter: Topos > Topos Reproduktionsreihe: Elsevier e-book collection on ScienceDirect Art der Reproduktion: Online-Ausg.] Entstehung: Anmerkungen: Includes bibliographical references (p. 291-304) and index