Search Results for Computable functions. - Narrowed by: Electronic books.

Search Results for Computable functions. - Narrowed by: Electronic books. SirsiDynix Enterprise http://katalog.baskent.edu.tr/client/en_US/default/default/qu$003dComputable$002bfunctions.$0026qf$003dSUBJECT$002509Subject$002509Electronic$002bbooks.$002509Electronic$002bbooks.$0026ps$003d300?dt=list 2026-04-30T15:09:19Z Effective mathematics of the uncountable ent://SD_ILS/0/SD_ILS:1022596 2026-04-30T15:09:19Z 2026-04-30T15:09:19Z by 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 computation ent://SD_ILS/0/SD_ILS:988687 2026-04-30T15:09:19Z 2026-04-30T15:09:19Z by 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 computations ent://SD_ILS/0/SD_ILS:988008 2026-04-30T15:09:19Z 2026-04-30T15:09:19Z by 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 world ent://SD_ILS/0/SD_ILS:981138 2026-04-30T15:09:19Z 2026-04-30T15:09:19Z by 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 hierarchy ent://SD_ILS/0/SD_ILS:1186196 2026-04-30T15:09:19Z 2026-04-30T15:09:19Z by 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, logic ent://SD_ILS/0/SD_ILS:1191710 2026-04-30T15:09:19Z 2026-04-30T15:09:19Z by 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 theory ent://SD_ILS/0/SD_ILS:1185746 2026-04-30T15:09:19Z 2026-04-30T15:09:19Z by 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 education ent://SD_ILS/0/SD_ILS:1031245 2026-04-30T15:09:19Z 2026-04-30T15:09:19Z by 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, 1976 ent://SD_ILS/0/SD_ILS:1192320 2026-04-30T15:09:19Z 2026-04-30T15:09:19Z by 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 introduction ent://SD_ILS/0/SD_ILS:1177173 2026-04-30T15:09:19Z 2026-04-30T15:09:19Z by 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/> Research tools in natural resource and environmental economics ent://SD_ILS/0/SD_ILS:1065913 2026-04-30T15:09:19Z 2026-04-30T15:09:19Z by 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/> Formal systems and recursive functions ent://SD_ILS/0/SD_ILS:1192361 2026-04-30T15:09:19Z 2026-04-30T15:09:19Z by 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 science ent://SD_ILS/0/SD_ILS:1178779 2026-04-30T15:09:19Z 2026-04-30T15:09:19Z by 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 1976 ent://SD_ILS/0/SD_ILS:1192442 2026-04-30T15:09:19Z 2026-04-30T15:09:19Z by 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 numbers ent://SD_ILS/0/SD_ILS:1187328 2026-04-30T15:09:19Z 2026-04-30T15:09:19Z by 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 II ent://SD_ILS/0/SD_ILS:1192324 2026-04-30T15:09:19Z 2026-04-30T15:09:19Z by 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/>