{"_id":"rZ6hfn5T8unXeJJH3","bibbaseid":"akama-berardi-hayashi-kohlenbach-anarithmeticalhierarchyofthelawofexcludedmiddleandrelatedprinciples-2004","authorIDs":[],"author_short":["Akama, Y.","Berardi, S.","Hayashi, S.","Kohlenbach, U."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Akama"],"firstnames":["Yohji"],"suffixes":[]},{"propositions":[],"lastnames":["Berardi"],"firstnames":["Stefano"],"suffixes":[]},{"propositions":[],"lastnames":["Hayashi"],"firstnames":["Susumu"],"suffixes":[]},{"propositions":[],"lastnames":["Kohlenbach"],"firstnames":["Ulrich"],"suffixes":[]}],"title":"An arithmetical hierarchy of the law of excluded middle and related principles","booktitle":"Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science (LICS 2004)","year":"2004","pages":"192–201","publisher":"IEEE Computer Society Press","doi":"10.1109/LICS.2004.1319613","keywords":"bib,cca","bibtex":"@INPROCEEDINGS{ABHK04,\r\n author = {Akama, Yohji and Berardi, Stefano and Hayashi, Susumu and Kohlenbach,\r\n\tUlrich},\r\n title = {An arithmetical hierarchy of the law of excluded middle and related\r\n\tprinciples},\r\n booktitle = {Proceedings of the 19th Annual IEEE Symposium on Logic in Computer\r\n\tScience (LICS 2004)},\r\n year = {2004},\r\n pages = {192--201},\r\n publisher = {IEEE Computer Society Press},\r\n doi = {10.1109/LICS.2004.1319613},\r\n keywords = {bib,cca}\r\n}\r\n\r\n","author_short":["Akama, Y.","Berardi, S.","Hayashi, S.","Kohlenbach, U."],"key":"ABHK04","id":"ABHK04","bibbaseid":"akama-berardi-hayashi-kohlenbach-anarithmeticalhierarchyofthelawofexcludedmiddleandrelatedprinciples-2004","role":"author","urls":{},"keyword":["bib","cca"],"downloads":0},"bibtype":"inproceedings","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:53.291Z","downloads":0,"keywords":["bib","cca"],"search_terms":["arithmetical","hierarchy","law","excluded","middle","related","principles","akama","berardi","hayashi","kohlenbach"],"title":"An arithmetical hierarchy of the law of excluded middle and related principles","year":2004,"dataSources":["t7rKiAbxugj4Agz8M"]}