Search ResultsElectronic Resources
Limit Search Results
Author
Material Type
Language
Publication Date
-
Subject
Electronic books.
(16)
Computable functions.
(9)
Logic, Symbolic and mathematical.
(5)
MATHEMATICS -- Infinity.
(4)
MATHEMATICS -- Logic.
(4)
Library
Shelf Location
Switch to list view
Switch to thumbnail view
18 Results Found Subscribe to search results
000000DEFAULT
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 Various Old and New Results in Classical Arithmetic by Special Functions
      13. 
      Various Old and New Results in Classical Arithmetic by Special Functions
      by 
      Henry, Michael, author.
      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
      Format: 
      Excerpt: 
      that are computable in quadratic time due to their representation as theta functions; it is still open
      Cover image for Formal systems and recursive functions
      14. 
      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
      15. 
      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
      16. 
      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
      17. 
      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
      18. 
      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