@INPROCEEDINGS{KM82,
  author = {Kreisel, G. and Macintyre, A.},
  title = {Constructive logic versus algebraization, {I}},
  booktitle = {The L. E. J. Brouwer Centenary Sympos.},
  year = {1982},
  editor = {Troelstra, A.S. and van Dalen, D.},
  volume = {110},
  series = SIL,
  pages = {217--260},
  address = {Amsterdam},
  publisher = {North-Holland},
  note = {(Noordwijkerhout, June 8--13, 1981)},
  keywords = {bib,con}
}

{"_id":"kBC2LHgjTZafpbNG7","bibbaseid":"kreisel-macintyre-constructivelogicversusalgebraizationi-1982","authorIDs":[],"author_short":["Kreisel, G.","Macintyre, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Kreisel"],"firstnames":["G."],"suffixes":[]},{"propositions":[],"lastnames":["Macintyre"],"firstnames":["A."],"suffixes":[]}],"title":"Constructive logic versus algebraization, I","booktitle":"The L. E. J. Brouwer Centenary Sympos.","year":"1982","editor":[{"propositions":[],"lastnames":["Troelstra"],"firstnames":["A.S."],"suffixes":[]},{"propositions":["van"],"lastnames":["Dalen"],"firstnames":["D."],"suffixes":[]}],"volume":"110","pages":"217–260","address":"Amsterdam","publisher":"North-Holland","note":"(Noordwijkerhout, June 8–13, 1981)","keywords":"bib,con","bibtex":"@INPROCEEDINGS{KM82,\r\n author = {Kreisel, G. and Macintyre, A.},\r\n title = {Constructive logic versus algebraization, {I}},\r\n booktitle = {The L. E. J. Brouwer Centenary Sympos.},\r\n year = {1982},\r\n editor = {Troelstra, A.S. and van Dalen, D.},\r\n volume = {110},\r\n series = SIL,\r\n pages = {217--260},\r\n address = {Amsterdam},\r\n publisher = {North-Holland},\r\n note = {(Noordwijkerhout, June 8--13, 1981)},\r\n keywords = {bib,con}\r\n}\r\n\r\n","author_short":["Kreisel, G.","Macintyre, A."],"editor_short":["Troelstra, A.","van Dalen, D."],"key":"KM82","id":"KM82","bibbaseid":"kreisel-macintyre-constructivelogicversusalgebraizationi-1982","role":"author","urls":{},"keyword":["bib","con"],"downloads":0},"bibtype":"inproceedings","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:53.829Z","downloads":0,"keywords":["bib","con"],"search_terms":["constructive","logic","versus","algebraization","kreisel","macintyre"],"title":"Constructive logic versus algebraization, I","year":1982,"dataSources":["t7rKiAbxugj4Agz8M"]}