A note on non-extensional operations in connection with continuity and recursivness. Troelstra, A. Nederl. Akad. Wetensch. Proc. Ser. A, 39:455–462, 1977. bibtex @ARTICLE{Tro77,
author = {Troelstra, A.S.},
title = {A note on non-extensional operations in connection with continuity
and recursivness},
journal = {Nederl. Akad. Wetensch. Proc. Ser. A},
year = {1977},
volume = {39},
pages = {455--462},
keywords = {bib,con}
}
Downloads: 0
{"_id":"ummjqoj58g2oCmSdh","bibbaseid":"troelstra-anoteonnonextensionaloperationsinconnectionwithcontinuityandrecursivness-1977","authorIDs":[],"author_short":["Troelstra, A."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Troelstra"],"firstnames":["A.S."],"suffixes":[]}],"title":"A note on non-extensional operations in connection with continuity and recursivness","journal":"Nederl. Akad. Wetensch. Proc. Ser. A","year":"1977","volume":"39","pages":"455–462","keywords":"bib,con","bibtex":"@ARTICLE{Tro77,\r\n author = {Troelstra, A.S.},\r\n title = {A note on non-extensional operations in connection with continuity\r\n\tand recursivness},\r\n journal = {Nederl. Akad. Wetensch. Proc. Ser. A},\r\n year = {1977},\r\n volume = {39},\r\n pages = {455--462},\r\n keywords = {bib,con}\r\n}\r\n\r\n","author_short":["Troelstra, A."],"key":"Tro77","id":"Tro77","bibbaseid":"troelstra-anoteonnonextensionaloperationsinconnectionwithcontinuityandrecursivness-1977","role":"author","urls":{},"keyword":["bib","con"],"downloads":0},"bibtype":"article","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:54.115Z","downloads":0,"keywords":["bib","con"],"search_terms":["note","non","extensional","operations","connection","continuity","recursivness","troelstra"],"title":"A note on non-extensional operations in connection with continuity and recursivness","year":1977,"dataSources":["t7rKiAbxugj4Agz8M"]}