{"_id":"m4Lf6gFyKtdxo33JK","bibbaseid":"ishihara-informalconstructivereversemathematics-2004","authorIDs":[],"author_short":["Ishihara, H."],"bibdata":{"bibtype":"techreport","type":"techreport","author":[{"propositions":[],"lastnames":["Ishihara"],"firstnames":["Hajime"],"suffixes":[]}],"title":"Informal Constructive Reverse Mathematics","institution":"Centre for Discrete Mathematics and Theoretical Computer Science (CDMTCS) Report 229","year":"2004","keywords":"bib,con","pages":"1–8","bibtex":"@TECHREPORT{Ish04,\r\n author = {Ishihara, Hajime},\r\n title = {Informal Constructive Reverse Mathematics},\r\n institution = {Centre for Discrete Mathematics and Theoretical Computer Science\r\n\t(CDMTCS) Report 229},\r\n year = {2004},\r\n keywords = {bib,con},\r\n pages = {1--8}\r\n}\r\n\r\n","author_short":["Ishihara, H."],"key":"Ish04","id":"Ish04","bibbaseid":"ishihara-informalconstructivereversemathematics-2004","role":"author","urls":{},"keyword":["bib","con"],"downloads":0},"bibtype":"techreport","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-11T13:29:35.343Z","downloads":0,"keywords":["bib","con"],"search_terms":["informal","constructive","reverse","mathematics","ishihara"],"title":"Informal Constructive Reverse Mathematics","year":2004,"dataSources":["t7rKiAbxugj4Agz8M"]}