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.
Conference or Workshop Item, Bibliographie

Item Type: Conference or Workshop Item
Erschienen: 2004
Creators: Akama, Yohij ; Berardi, Stefano ; Hayashi, Susumu ; Kohlenbach, Ulrich
Type of entry: Bibliographie
Title: An arithmetical hierarchy of the law of excluded middle and related principles
Language: English
Date: 2004
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
Last Modified: 05 Mar 2013 09:02
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