@book{ mints2000,
  author    = {Grigori Mints},
  title     = {A Short Introduction to Intuitionistic Logic} ,
  year   = {2000}
}

{"_id":{"_str":"51f9e190c5b22c3876000626"},"__v":35,"authorIDs":["545c07c1b43425b7720017b0"],"author_short":["Mints, G."],"bibbaseid":"mints-ashortintroductiontointuitionisticlogic-2000","bibdata":{"bibtype":"book","type":"book","author":[{"firstnames":["Grigori"],"propositions":[],"lastnames":["Mints"],"suffixes":[]}],"title":"A Short Introduction to Intuitionistic Logic","year":"2000","bibtex":"@book{ mints2000,\n author = {Grigori Mints},\n title = {A Short Introduction to Intuitionistic Logic} ,\n year = {2000}\n}\n\n\n","author_short":["Mints, G."],"key":"mints2000","id":"mints2000","bibbaseid":"mints-ashortintroductiontointuitionisticlogic-2000","role":"author","urls":{},"downloads":0},"bibtype":"book","biburl":"http://data.bibbase.org/provenance/httpdeliciasdiafiupmesprov-xg-public-rebib/?format=bibtex","downloads":0,"keywords":["#logic","#proof_theory"],"search_terms":["short","introduction","intuitionistic","logic","mints"],"title":"A Short Introduction to Intuitionistic Logic","title_words":["short","introduction","intuitionistic","logic"],"year":2000,"dataSources":["SjnfeYjDaGoWCF5oP"]}