TU Darmstadt / ULB / TUbiblio

Reverse mathematics in higher types

Kohlenbach, Ulrich :
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. Assoc. for Symbolic Logic [u.a.], Wellesley, Mass.
[Buchkapitel], (2005)

Typ des Eintrags: Buchkapitel
Erschienen: 2005
Autor(en): Kohlenbach, Ulrich
Titel: Reverse mathematics in higher types
Sprache: Deutsch
Buchtitel: 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
Ort: Wellesley, Mass.
Verlag: Assoc. for Symbolic Logic [u.a.]
Fachbereich(e)/-gebiet(e): Fachbereich Mathematik
Hinterlegungsdatum: 20 Nov 2008 08:21
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen