TU Darmstadt / ULB / TUbiblio

Well-foundedness in realizability

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

Typ des Eintrags: Artikel
Erschienen: 2006
Autor(en): Hofmann, Martin ; van Oosten, Jaap ; Streicher, Thomas
Titel: Well-foundedness in realizability
Sprache: Deutsch
Titel der Zeitschrift, Zeitung oder Schriftenreihe: Archive for mathematical logic
Band: 45
Fachbereich(e)/-gebiet(e): Fachbereich Mathematik
Hinterlegungsdatum: 20 Nov 2008 08:24
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen