TU Darmstadt / ULB / TUbiblio

Extracting Herbrand disjunctions by functional interpretation

Gerhardy, Philipp and Kohlenbach, Ulrich (2005):
Extracting Herbrand disjunctions by functional interpretation.
44, In: Archive for Mathematical Logic, pp. 633-644, [Article]

Item Type: Article
Erschienen: 2005
Creators: Gerhardy, Philipp and Kohlenbach, Ulrich
Title: Extracting Herbrand disjunctions by functional interpretation
Language: English
Journal or Publication Title: Archive for Mathematical Logic
Volume: 44
Divisions: 04 Department of Mathematics
Date Deposited: 20 Nov 2008 08:21
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