@BOOK{Tro73,
  title = {Metamathematical {I}nvestigation of {I}ntuitionistic {A}rithmetic
	and {A}nalysis},
  publisher = {Springer},
  year = {1973},
  editor = {Troelstra, A.S. (ed.)},
  volume = {344},
  series = LNM,
  address = {Berlin},
  keywords = {bib,con}
}

{"_id":"3s2ADxEFhx7rshtgA","bibbaseid":"troelstra-metamathematicalinvestigationofintuitionisticarithmeticandanalysis-1973","authorIDs":[],"bibdata":{"bibtype":"book","type":"book","title":"Metamathematical Investigation of Intuitionistic Arithmetic and Analysis","publisher":"Springer","year":"1973","editor":[{"propositions":[],"lastnames":["Troelstra"],"firstnames":["A.S.","(ed.)"],"suffixes":[]}],"volume":"344","address":"Berlin","keywords":"bib,con","bibtex":"@BOOK{Tro73,\r\n title = {Metamathematical {I}nvestigation of {I}ntuitionistic {A}rithmetic\r\n\tand {A}nalysis},\r\n publisher = {Springer},\r\n year = {1973},\r\n editor = {Troelstra, A.S. (ed.)},\r\n volume = {344},\r\n series = LNM,\r\n address = {Berlin},\r\n keywords = {bib,con}\r\n}\r\n\r\n","editor_short":["Troelstra, A. (."],"key":"Tro73","id":"Tro73","bibbaseid":"troelstra-metamathematicalinvestigationofintuitionisticarithmeticandanalysis-1973","role":"editor","urls":{},"keyword":["bib","con"],"downloads":0},"bibtype":"book","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:54.114Z","downloads":0,"keywords":["bib","con"],"search_terms":["metamathematical","investigation","intuitionistic","arithmetic","analysis"],"title":"Metamathematical Investigation of Intuitionistic Arithmetic and Analysis","year":1973,"dataSources":["t7rKiAbxugj4Agz8M"]}