Search Results for Computable functions.SirsiDynix Enterprisehttp://katalog.baskent.edu.tr/client/en_US/default/default/qu$003dComputable$002bfunctions.$0026ps$003d300?dt=list2026-04-23T07:17:50ZEffective mathematics of the uncountableent://SD_ILS/0/SD_ILS:10225962026-04-23T07:17:50Z2026-04-23T07:17:50Zby Greenberg, Noam.<br/><a href="https://ebookcentral.proquest.com/lib/baskent-ebooks/detail.action?docID=1543609">Click to View</a><br/>Format: Electronic Resources<br/>Theory of computationent://SD_ILS/0/SD_ILS:9886872026-04-23T07:17:50Z2026-04-23T07:17:50Zby Tourlakis, George J.<br/><a href="https://ebookcentral.proquest.com/lib/baskent-ebooks/detail.action?docID=837606">Click to View</a><br/>Format: Electronic Resources<br/>Proof and computationsent://SD_ILS/0/SD_ILS:9880082026-04-23T07:17:50Z2026-04-23T07:17:50Zby Schwichtenberg, Helmut, 1942-<br/><a href="https://ebookcentral.proquest.com/lib/baskent-ebooks/detail.action?docID=833389">Click to View</a><br/>Format: Electronic Resources<br/>Computability in context computation and logic in the real worldent://SD_ILS/0/SD_ILS:9811382026-04-23T07:17:50Z2026-04-23T07:17:50Zby Cooper, S. B. (S. Barry)<br/><a href="https://ebookcentral.proquest.com/lib/baskent-ebooks/detail.action?docID=737616">Click to View</a><br/>Format: Electronic Resources<br/>Computable structures and the hyperarithmetical hierarchyent://SD_ILS/0/SD_ILS:11861962026-04-23T07:17:50Z2026-04-23T07:17:50Zby Ash, C. J.<br/>ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780444500724">https://www.sciencedirect.com/science/book/9780444500724</a>
ScienceDirect <a href="https://www.sciencedirect.com/science/publication?issn=0049237X&volume=144">https://www.sciencedirect.com/science/publication?issn=0049237X&volume=144</a>
ScienceDirect <a href="https://www.sciencedirect.com/science/bookseries/0049237X/144">https://www.sciencedirect.com/science/bookseries/0049237X/144</a><br/>Format: Electronic Resources<br/>Computability, complexity, logicent://SD_ILS/0/SD_ILS:11917102026-04-23T07:17:50Z2026-04-23T07:17:50Zby Börger, E. (Egon), 1946-<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444874061">http://www.sciencedirect.com/science/book/9780444874061</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/publication?issn=0049237X&volume=128">http://www.sciencedirect.com/science/publication?issn=0049237X&volume=128</a><br/>Format: Electronic Resources<br/>Handbook of computability theoryent://SD_ILS/0/SD_ILS:11857462026-04-23T07:17:50Z2026-04-23T07:17:50Zby Griffor, Edward R.<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444898821">http://www.sciencedirect.com/science/book/9780444898821</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/publication?issn=0049237X&volume=140">http://www.sciencedirect.com/science/publication?issn=0049237X&volume=140</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/bookseries/0049237X/140">http://www.sciencedirect.com/science/bookseries/0049237X/140</a><br/>Format: Electronic Resources<br/>Symbolic computation and educationent://SD_ILS/0/SD_ILS:10312452026-04-23T07:17:50Z2026-04-23T07:17:50Zby Li, Shangzhi, 1947-<br/><a href="https://ebookcentral.proquest.com/lib/baskent-ebooks/detail.action?docID=1681737">Click to View</a><br/>Format: Electronic Resources<br/>Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976ent://SD_ILS/0/SD_ILS:11923202026-04-23T07:17:50Z2026-04-23T07:17:50Zby Latin-American Symposium on Mathematical Logic (3rd : 1976 : State University of Campinas)<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720407525">http://www.sciencedirect.com/science/book/9780720407525</a><br/>Format: Electronic Resources<br/>Computability theory: an introductionent://SD_ILS/0/SD_ILS:11771732026-04-23T07:17:50Z2026-04-23T07:17:50Zby Jones, Neil D.<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780123900500">http://www.sciencedirect.com/science/book/9780123900500</a><br/>Format: Electronic Resources<br/>Working material for the lectures of J.V. Tucker.ent://SD_ILS/0/SD_ILS:614672026-04-23T07:17:50Z2026-04-23T07:17:50Zby Tucker, J.V.<br/>Format: Books<br/>Research tools in natural resource and environmental economicsent://SD_ILS/0/SD_ILS:10659132026-04-23T07:17:50Z2026-04-23T07:17:50Zby Batabyal, Amitrajeet A., 1965-<br/><a href="https://ebookcentral.proquest.com/lib/baskent-ebooks/detail.action?docID=3050915">Click to View</a><br/>Format: Electronic Resources<br/>Various Old and New Results in Classical Arithmetic by Special Functionsent://SD_ILS/0/SD_ILS:6962872026-04-23T07:17:50Z2026-04-23T07:17:50Zby Henry, Michael, author.<br/><a href="http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10871502">http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10871502</a><br/>Format: Books<br/>Formal systems and recursive functionsent://SD_ILS/0/SD_ILS:11923612026-04-23T07:17:50Z2026-04-23T07:17:50Zby Crossley, John N.<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534057">http://www.sciencedirect.com/science/book/9780444534057</a>
ScienceDirect <a href="https://www.sciencedirect.com/science/publication?issn=0049237X&volume=40">https://www.sciencedirect.com/science/publication?issn=0049237X&volume=40</a><br/>Format: Electronic Resources<br/>Computability, complexity, and languages : fundamentals of theoretical computer scienceent://SD_ILS/0/SD_ILS:11787792026-04-23T07:17:50Z2026-04-23T07:17:50Zby Davis, Martin, 1928-<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780122063800">http://www.sciencedirect.com/science/book/9780122063800</a><br/>Format: Electronic Resources<br/>Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976ent://SD_ILS/0/SD_ILS:11924422026-04-23T07:17:50Z2026-04-23T07:17:50Zby Logic Colloquium (1976 : Oxford)<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720406917">http://www.sciencedirect.com/science/book/9780720406917</a><br/>Format: Electronic Resources<br/>Classical recursion theory : the theory of functions and sets of natural numbersent://SD_ILS/0/SD_ILS:11873282026-04-23T07:17:50Z2026-04-23T07:17:50Zby Odifreddi, Piergiorgio, 1950-<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444502056">http://www.sciencedirect.com/science/book/9780444502056</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/publication?issn=0049237X&volume=143">http://www.sciencedirect.com/science/publication?issn=0049237X&volume=143</a><br/>Format: Electronic Resources<br/>Foundational studies : selected works. Volume IIent://SD_ILS/0/SD_ILS:11923242026-04-23T07:17:50Z2026-04-23T07:17:50Zby Mostowski, Andrzej.<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444851031">http://www.sciencedirect.com/science/book/9780444851031</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/bookseries/0049237X/93/part/PB">http://www.sciencedirect.com/science/bookseries/0049237X/93/part/PB</a><br/>Format: Electronic Resources<br/>