TU Darmstadt / ULB / TUbiblio

Reverse mathematics in higher types

Kohlenbach, Ulrich (2005):
Reverse mathematics in higher types.
In: Reverse mathematics 2001 / ed. by Stephen G. Simpson. - Wellesley, Mass. : Assoc. for Symbolic Logic [u.a.], 2005. - S.281-295 (Lecture notes in logic ; 21) ISBN: 1-56881-263-9 ; 1-56881-264-7, Wellesley, Mass., Assoc. for Symbolic Logic [u.a.], [Book Section]

Item Type: Book Section
Erschienen: 2005
Creators: Kohlenbach, Ulrich
Title: Reverse mathematics in higher types
Language: German
Title of Book: Reverse mathematics 2001 / ed. by Stephen G. Simpson. - Wellesley, Mass. : Assoc. for Symbolic Logic [u.a.], 2005. - S.281-295 (Lecture notes in logic ; 21) ISBN: 1-56881-263-9 ; 1-56881-264-7
Place of Publication: Wellesley, Mass.
Publisher: Assoc. for Symbolic Logic [u.a.]
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