@INPROCEEDINGS{KLS59,
  author = {Kreisel, G. and Lacombe, D. and Shoenfield, J.R.},
  title = {Partial recursive functionals and effective operations},
  booktitle = {Constructivity in Mathematics},
  year = {1959},
  editor = {Heyting, A.},
  series = SIL,
  pages = {290--297},
  address = {Amsterdam},
  publisher = {North-Holland},
  note = {Proc. Colloq., Amsterdam, Aug. 26--31, 1957},
  file = {KLS59.pdf:KLS59.pdf:PDF;KLS59.pdf:files\\KLS59.pdf:PDF},
  keywords = {bib,cca}
}

{"_id":"YJ8ym9PMiGCxeHx3t","bibbaseid":"kreisel-lacombe-shoenfield-partialrecursivefunctionalsandeffectiveoperations-1959","authorIDs":[],"author_short":["Kreisel, G.","Lacombe, D.","Shoenfield, J."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Kreisel"],"firstnames":["G."],"suffixes":[]},{"propositions":[],"lastnames":["Lacombe"],"firstnames":["D."],"suffixes":[]},{"propositions":[],"lastnames":["Shoenfield"],"firstnames":["J.R."],"suffixes":[]}],"title":"Partial recursive functionals and effective operations","booktitle":"Constructivity in Mathematics","year":"1959","editor":[{"propositions":[],"lastnames":["Heyting"],"firstnames":["A."],"suffixes":[]}],"series":"Studies in Logic and the Foundations of Mathematics","pages":"290–297","address":"Amsterdam","publisher":"North-Holland","note":"Proc. Colloq., Amsterdam, Aug. 26–31, 1957","file":"KLS59.pdf:KLS59.pdf:PDF;KLS59.pdf:files\\\\KLS59.pdf:PDF","keywords":"bib,cca","bibtex":"@INPROCEEDINGS{KLS59,\r\n author = {Kreisel, G. and Lacombe, D. and Shoenfield, J.R.},\r\n title = {Partial recursive functionals and effective operations},\r\n booktitle = {Constructivity in Mathematics},\r\n year = {1959},\r\n editor = {Heyting, A.},\r\n series = SIL,\r\n pages = {290--297},\r\n address = {Amsterdam},\r\n publisher = {North-Holland},\r\n note = {Proc. Colloq., Amsterdam, Aug. 26--31, 1957},\r\n file = {KLS59.pdf:KLS59.pdf:PDF;KLS59.pdf:files\\\\KLS59.pdf:PDF},\r\n keywords = {bib,cca}\r\n}\r\n\r\n","author_short":["Kreisel, G.","Lacombe, D.","Shoenfield, J."],"editor_short":["Heyting, A."],"key":"KLS59","id":"KLS59","bibbaseid":"kreisel-lacombe-shoenfield-partialrecursivefunctionalsandeffectiveoperations-1959","role":"author","urls":{},"keyword":["bib","cca"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:53.828Z","downloads":0,"keywords":["bib","cca"],"search_terms":["partial","recursive","functionals","effective","operations","kreisel","lacombe","shoenfield"],"title":"Partial recursive functionals and effective operations","year":1959,"dataSources":["t7rKiAbxugj4Agz8M"]}