TU Darmstadt
ULB
TUbiblio
Blättern nach Person
Ebene hoch |
Anzahl der Einträge: 1.
Akama, Yohij ; Berardi, Stefano ; Hayashi, Susumu ; Kohlenbach, Ulrich (2004)
An arithmetical hierarchy of the law of excluded middle and related principles.
Konferenzveröffentlichung, Bibliographie