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
Article, Bibliographie

Item Type: Article
Erschienen: 2006
Creators: Hofmann, Martin ; Oosten, Jaap van ; Streicher, Thomas
Type of entry: Bibliographie
Title: Well-foundedness in realizability
Language: English
Date: 2006
Journal or Publication Title: Archive for mathematical logic
Volume of the journal: 45
Divisions: 04 Department of Mathematics
Date Deposited: 20 Nov 2008 08:24
Last Modified: 26 Jul 2021 07:32
PPN:
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