Search ResultsElectronic Resources
Limit Search Results
Author
Material Type
Language
Publication Date
-
Subject
Library
Switch to list view
Switch to thumbnail view
10 Results Found Subscribe to search results
0000000000DEFAULT
Print
Select a list
Make this your default list.
The following items were successfully added.
    There was an error while adding the following items. Please try again.
      Cover image for Computable structures and the hyperarithmetical hierarchy
      1. 
      Cover image for Computability, complexity, logic
      2. 
      Cover image for Handbook of computability theory
      3. 
      Cover image for Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976
      4. 
      Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976
      by 
      Latin-American Symposium on Mathematical Logic (3rd : 1976 : State University of Campinas)
      ScienceDirect http://www.sciencedirect.com/science/book/9780720407525
      Format: 
      Excerpt: 
      Computable functions -- Congresses.
      Cover image for Computability theory: an introduction
      5. 
      Computability theory: an introduction
      by 
      Jones, Neil D.
      ScienceDirect http://www.sciencedirect.com/science/book/9780123900500
      Format: 
      Excerpt: 
      Computable functions.
      Cover image for Formal systems and recursive functions
      6. 
      Formal systems and recursive functions
      by 
      Crossley, John N.
      ScienceDirect http://www.sciencedirect.com/science/book/9780444534057
      ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=40
      Format: 
      Excerpt: 
      Lesniewski and in Russell / A.N. Prior -- Functions and rogators / A. Sloman -- Infinitely long terms of
      Cover image for Computability, complexity, and languages : fundamentals of theoretical computer science
      7. 
      Computability, complexity, and languages : fundamentals of theoretical computer science
      by 
      Davis, Martin, 1928-
      ScienceDirect http://www.sciencedirect.com/science/book/9780122063800
      Format: 
      Excerpt: 
      Computable Functions; 1. A Programming Language; 2. Some Examples of Programs; 3. Syntax; 4. Computable
      Cover image for Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976
      8. 
      Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976
      by 
      Logic Colloquium (1976 : Oxford)
      ScienceDirect http://www.sciencedirect.com/science/book/9780720406917
      Format: 
      Excerpt: 
      functions of higher type; Chapter 19 Aspects of constructivity in mathematics; Chapter 20 The model C of the
      Cover image for Classical recursion theory : the theory of functions and sets of natural numbers
      9. 
      Classical recursion theory : the theory of functions and sets of natural numbers
      by 
      Odifreddi, Piergiorgio, 1950-
      ScienceDirect http://www.sciencedirect.com/science/book/9780444502056
      ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=143
      Format: 
      Excerpt: 
      , ranging from small time and space bounds to the elementary functions, with a particular attention to
      Cover image for Foundational studies : selected works. Volume II
      10. 
      Foundational studies : selected works. Volume II
      by 
      Mostowski, Andrzej.
      ScienceDirect http://www.sciencedirect.com/science/book/9780444851031
      ScienceDirect http://www.sciencedirect.com/science/bookseries/0049237X/93/part/PB
      Format: 
      Excerpt: 
      quantifiers; Chapter 20. Contributions to the theory of definable sets and functions; Chapter 21. A proof of
      Go to:Search Results
      |
      Search Facets
      |
      Top of Page