The introduction of non-recursive methods into mathematics

The introduction of non-recursive methods into mathematics. Metakides, G. & Nerode, A. In Troelstra, A. & Dalen, D. v., editors, The L.E.J. Brouwer Centenary Symposium, volume 110, of Studies in Logic and the foundations of mathematics, pages 319–335, Amsterdam, 1982. North-Holland. Proceedings of the conference held in Noordwijkerhout, June 8–13, 1981
bibtex

@INPROCEEDINGS{MN82,
  author = {Metakides, George and Nerode, Anil},
  title = {The introduction of non-recursive methods into mathematics},
  booktitle = {The L.E.J. Brouwer Centenary Symposium},
  year = {1982},
  editor = {Troelstra, A.S. and Dalen, D. van},
  volume = {110},
  series = {Studies in Logic and the foundations of mathematics},
  pages = {319--335},
  address = {Amsterdam},
  publisher = {North-Holland},
  note = {Proceedings of the conference held in Noordwijkerhout, June 8--13,
	1981},
  file = {MN82.pdf:MN82.pdf:PDF},
  keywords = {bib,cca}
}

Downloads: 0

{"_id":"NuZDjt3BWwh253Ctv","bibbaseid":"metakides-nerode-theintroductionofnonrecursivemethodsintomathematics-1982","authorIDs":[],"author_short":["Metakides, G.","Nerode, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Metakides"],"firstnames":["George"],"suffixes":[]},{"propositions":[],"lastnames":["Nerode"],"firstnames":["Anil"],"suffixes":[]}],"title":"The introduction of non-recursive methods into mathematics","booktitle":"The L.E.J. Brouwer Centenary Symposium","year":"1982","editor":[{"propositions":[],"lastnames":["Troelstra"],"firstnames":["A.S."],"suffixes":[]},{"propositions":[],"lastnames":["Dalen"],"firstnames":["D.","van"],"suffixes":[]}],"volume":"110","series":"Studies in Logic and the foundations of mathematics","pages":"319–335","address":"Amsterdam","publisher":"North-Holland","note":"Proceedings of the conference held in Noordwijkerhout, June 8–13, 1981","file":"MN82.pdf:MN82.pdf:PDF","keywords":"bib,cca","bibtex":"@INPROCEEDINGS{MN82,\r\n author = {Metakides, George and Nerode, Anil},\r\n title = {The introduction of non-recursive methods into mathematics},\r\n booktitle = {The L.E.J. Brouwer Centenary Symposium},\r\n year = {1982},\r\n editor = {Troelstra, A.S. and Dalen, D. van},\r\n volume = {110},\r\n series = {Studies in Logic and the foundations of mathematics},\r\n pages = {319--335},\r\n address = {Amsterdam},\r\n publisher = {North-Holland},\r\n note = {Proceedings of the conference held in Noordwijkerhout, June 8--13,\r\n\t1981},\r\n file = {MN82.pdf:MN82.pdf:PDF},\r\n keywords = {bib,cca}\r\n}\r\n\r\n","author_short":["Metakides, G.","Nerode, A."],"editor_short":["Troelstra, A.","Dalen, D. v."],"key":"MN82","id":"MN82","bibbaseid":"metakides-nerode-theintroductionofnonrecursivemethodsintomathematics-1982","role":"author","urls":{},"keyword":["bib","cca"],"downloads":0},"bibtype":"inproceedings","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:53.940Z","downloads":0,"keywords":["bib","cca"],"search_terms":["introduction","non","recursive","methods","mathematics","metakides","nerode"],"title":"The introduction of non-recursive methods into mathematics","year":1982,"dataSources":["t7rKiAbxugj4Agz8M"]}