TU Darmstadt / ULB / TUbiblio

Well-foundedness in realizability

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

Item Type: Article
Erschienen: 2006
Creators: Hofmann, Martin and van Oosten, Jaap and Streicher, Thomas
Title: Well-foundedness in realizability
Language: German
Journal or Publication Title: Archive for mathematical logic
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)

View Item View Item