@INPROCEEDINGS{Kre59,
  author = {Kreisel, G.},
  title = {Interpretation of analysis by means of constructive functionals of
	finite types},
  booktitle = {Constructivity in Mathematics},
  year = {1959},
  editor = {Heyting, A.},
  series = SIL,
  pages = {101--128},
  address = {Amsterdam},
  publisher = {North-Holland},
  note = {Proc. Colloq., Amsterdam, Aug. 26--31, 1957},
  keywords = {bib,con}
}

{"_id":"gFcPkGhCW4pJoDzoM","bibbaseid":"kreisel-interpretationofanalysisbymeansofconstructivefunctionalsoffinitetypes-1959","authorIDs":[],"author_short":["Kreisel, G."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Kreisel"],"firstnames":["G."],"suffixes":[]}],"title":"Interpretation of analysis by means of constructive functionals of finite types","booktitle":"Constructivity in Mathematics","year":"1959","editor":[{"propositions":[],"lastnames":["Heyting"],"firstnames":["A."],"suffixes":[]}],"series":"Studies in Logic and the Foundations of Mathematics","pages":"101–128","address":"Amsterdam","publisher":"North-Holland","note":"Proc. Colloq., Amsterdam, Aug. 26–31, 1957","keywords":"bib,con","bibtex":"@INPROCEEDINGS{Kre59,\r\n author = {Kreisel, G.},\r\n title = {Interpretation of analysis by means of constructive functionals of\r\n\tfinite types},\r\n booktitle = {Constructivity in Mathematics},\r\n year = {1959},\r\n editor = {Heyting, A.},\r\n series = SIL,\r\n pages = {101--128},\r\n address = {Amsterdam},\r\n publisher = {North-Holland},\r\n note = {Proc. Colloq., Amsterdam, Aug. 26--31, 1957},\r\n keywords = {bib,con}\r\n}\r\n\r\n","author_short":["Kreisel, G."],"editor_short":["Heyting, A."],"key":"Kre59","id":"Kre59","bibbaseid":"kreisel-interpretationofanalysisbymeansofconstructivefunctionalsoffinitetypes-1959","role":"author","urls":{},"keyword":["bib","con"],"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"inproceedings","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:53.862Z","downloads":0,"keywords":["bib","con"],"search_terms":["interpretation","analysis","means","constructive","functionals","finite","types","kreisel"],"title":"Interpretation of analysis by means of constructive functionals of finite types","year":1959,"dataSources":["t7rKiAbxugj4Agz8M"]}