{"_id":"uE94c2r7xNX3HAaMH","bibbaseid":"dacosta-sistemasformaisinconsistentes-1993","authorIDs":[],"author_short":["Da Costa, N. C."],"bibdata":{"bibtype":"book","type":"book","title":"Sistemas formais inconsistentes","publisher":"Editora UFPR","year":"1993","author":[{"propositions":[],"lastnames":["Da","Costa"],"firstnames":["Newton","CA"],"suffixes":[]}],"volume":"3","bibtex":"@Book{Costa1993,\n\t\t title = {Sistemas formais inconsistentes},\n\t\t publisher = {Editora UFPR},\n\t\t\t year = {1993},\n\t\t\t author = {Da Costa, Newton CA},\n\t\t\t\t volume = {3},\n}\n\n","author_short":["Da Costa, N. C."],"key":"Costa1993","id":"Costa1993","bibbaseid":"dacosta-sistemasformaisinconsistentes-1993","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"book","biburl":"https://cs.stanford.edu/~yoniz/test.bib","creationDate":"2019-07-02T21:19:47.841Z","downloads":0,"keywords":[],"search_terms":["sistemas","formais","inconsistentes","da costa"],"title":"Sistemas formais inconsistentes","year":1993,"dataSources":["ChWnbF8EqSa8nccMs"]}