TU Darmstadt / ULB / TUbiblio

An arithmetical hierarchy of the law of excluded middle and related principles

Akama, Yohij ; Berardi, Stefano ; Hayashi, Susumu ; Kohlenbach, Ulrich (2004):
An arithmetical hierarchy of the law of excluded middle and related principles.
In: Proc. of the 19th Annual IEEE Symposium on Logic in Computer Science (LICS 2004). - S. 192-201. - IEEE Comp. Soc. Pr. 2004- ISBN 0-7695-2192-4 ; ISSN 1043-6871, [Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2004
Creators: Akama, Yohij ; Berardi, Stefano ; Hayashi, Susumu ; Kohlenbach, Ulrich
Title: An arithmetical hierarchy of the law of excluded middle and related principles
Language: English
Series: Proc. of the 19th Annual IEEE Symposium on Logic in Computer Science (LICS 2004). - S. 192-201. - IEEE Comp. Soc. Pr. 2004- ISBN 0-7695-2192-4 ; ISSN 1043-6871
Divisions: 04 Department of Mathematics
Date Deposited: 20 Nov 2008 08:19
License: [undefiniert]
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