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, p. 795. [Article]

Item Type: Article
Erschienen: 2006
Creators: Hofmann, Martin ; Oosten, Jaap van ; Streicher, Thomas
Title: Well-foundedness in realizability
Language: English
Journal or Publication Title: Archive for mathematical logic
Journal volume: 45
Divisions: 04 Department of Mathematics
Date Deposited: 20 Nov 2008 08:24
License: [undefiniert]
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details