@INPROCEEDINGS{Kus96,
  author = {Kushner, Boris Abramovich},
  title = {Kurt {G}\"odel and the constructive mathematics of {A}.{A}. {M}arkov},
  booktitle = {G\"odel '96},
  year = {1996},
  editor = {H\'ajek, P.},
  volume = {6},
  series = LNL,
  pages = {50--63},
  note = {Proc. Conf, Brno, August 1996},
  keywords = {bib,rus}
}

{"_id":"M8bPyTG8erC4KmgKR","bibbaseid":"kushner-kurtgdelandtheconstructivemathematicsofaamarkov-1996","author_short":["Kushner, B. A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Kushner"],"firstnames":["Boris","Abramovich"],"suffixes":[]}],"title":"Kurt Gödel and the constructive mathematics of A.A. Markov","booktitle":"Gödel '96","year":"1996","editor":[{"propositions":[],"lastnames":["Hájek"],"firstnames":["P."],"suffixes":[]}],"volume":"6","series":"Lecture Notes in Logic","pages":"50–63","note":"Proc. Conf, Brno, August 1996","keywords":"bib,rus","bibtex":"@INPROCEEDINGS{Kus96,\r\n author = {Kushner, Boris Abramovich},\r\n title = {Kurt {G}\\\"odel and the constructive mathematics of {A}.{A}. {M}arkov},\r\n booktitle = {G\\\"odel '96},\r\n year = {1996},\r\n editor = {H\\'ajek, P.},\r\n volume = {6},\r\n series = LNL,\r\n pages = {50--63},\r\n note = {Proc. Conf, Brno, August 1996},\r\n keywords = {bib,rus}\r\n}\r\n\r\n","author_short":["Kushner, B. A."],"editor_short":["Hájek, P."],"key":"Kus96","id":"Kus96","bibbaseid":"kushner-kurtgdelandtheconstructivemathematicsofaamarkov-1996","role":"author","urls":{},"keyword":["bib","rus"],"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"inproceedings","biburl":"http://cca-net.de/publications/lit.bib","dataSources":["t7rKiAbxugj4Agz8M"],"keywords":["bib","rus"],"search_terms":["kurt","del","constructive","mathematics","markov","kushner"],"title":"Kurt Gödel and the constructive mathematics of A.A. Markov","year":1996}