TU Darmstadt / ULB / TUbiblio

Well-foundedness in realizability

Hofmann, Martin ; Oosten, Jaap van ; Streicher, Thomas (2006)
Well-foundedness in realizability.
In: Archive for mathematical logic, 45
Artikel, Bibliographie

Typ des Eintrags: Artikel
Erschienen: 2006
Autor(en): Hofmann, Martin ; Oosten, Jaap van ; Streicher, Thomas
Art des Eintrags: Bibliographie
Titel: Well-foundedness in realizability
Sprache: Englisch
Publikationsjahr: 2006
Titel der Zeitschrift, Zeitung oder Schriftenreihe: Archive for mathematical logic
Jahrgang/Volume einer Zeitschrift: 45
Fachbereich(e)/-gebiet(e): 04 Fachbereich Mathematik
Hinterlegungsdatum: 20 Nov 2008 08:24
Letzte Änderung: 26 Jul 2021 07:32
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Frage zum Eintrag Frage zum Eintrag

Optionen (nur für Redakteure)
Redaktionelle Details anzeigen Redaktionelle Details anzeigen