SCI - Mathematics

749 Article
40 Conference contribution
9 Chapter
5 Comment/debate
More

1 results

Filter

2004
An arithmetical hierarchy of the law of excluded middle and related principles
Akama, Y., Hayashi, S., Berardi, S. & Kohlenbach, U., 2004, In: Proceedings - Symposium on Logic in Computer Science. 19, p. 192-201 10 p.
Research output: Contribution to journal › Conference article › peer-review
47 Citations (Scopus)