@article{journals/ndjfl/Georgieva71,
  author = {Georgieva, Nadejda},
  ee = {http://dx.doi.org/10.1305/ndjfl/1093894221},
  interhash = {4f10251a432f4392ea34ce2624097727},
  intrahash = {f4b75a9008eb4de3c1daceaed7157881},
  journal = {Notre Dame Journal of Formal Logic},
  number = 2,
  pages = {214-218},
  title = {Independence of the axioms and rules of inference of one system of the extended propositional calculus.},
  url = {http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl12.html#Georgieva71},
  volume = 12,
  year = 1971
}

{"_id":"55YyYNDBa7SBTyohf","bibbaseid":"georgieva-independenceoftheaxiomsandrulesofinferenceofonesystemoftheextendedpropositionalcalculus-1971","downloads":0,"creationDate":"2017-09-29T17:06:15.904Z","title":"Independence of the axioms and rules of inference of one system of the extended propositional calculus.","author_short":["Georgieva, N."],"year":1971,"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/georgieva ?items=1000","bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Georgieva"],"firstnames":["Nadejda"],"suffixes":[]}],"ee":"http://dx.doi.org/10.1305/ndjfl/1093894221","interhash":"4f10251a432f4392ea34ce2624097727","intrahash":"f4b75a9008eb4de3c1daceaed7157881","journal":"Notre Dame Journal of Formal Logic","number":"2","pages":"214-218","title":"Independence of the axioms and rules of inference of one system of the extended propositional calculus.","url":"http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl12.html#Georgieva71","volume":"12","year":"1971","bibtex":"@article{journals/ndjfl/Georgieva71,\n author = {Georgieva, Nadejda},\n ee = {http://dx.doi.org/10.1305/ndjfl/1093894221},\n interhash = {4f10251a432f4392ea34ce2624097727},\n intrahash = {f4b75a9008eb4de3c1daceaed7157881},\n journal = {Notre Dame Journal of Formal Logic},\n number = 2,\n pages = {214-218},\n title = {Independence of the axioms and rules of inference of one system of the extended propositional calculus.},\n url = {http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl12.html#Georgieva71},\n volume = 12,\n year = 1971\n}\n\n","author_short":["Georgieva, N."],"key":"journals/ndjfl/Georgieva71","id":"journals/ndjfl/Georgieva71","bibbaseid":"georgieva-independenceoftheaxiomsandrulesofinferenceofonesystemoftheextendedpropositionalcalculus-1971","role":"author","urls":{"Link":"http://dx.doi.org/10.1305/ndjfl/1093894221","Paper":"http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl12.html#Georgieva71"},"downloads":0,"html":""},"search_terms":["independence","axioms","rules","inference","one","system","extended","propositional","calculus","georgieva"],"keywords":[],"authorIDs":[],"dataSources":["jPsAgrd2hEbEeMfdR"]}