Search ResultsElectronic Resources
Limit Search Results
Author
Material Type
Language
Publication Date
-
Subject
Computable functions.
(9)
Logic, Symbolic and mathematical.
(5)
MATHEMATICS -- Infinity.
(4)
MATHEMATICS -- Logic.
(4)
Conference papers and proceedings.
(3)
Library
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
16 Results Found Subscribe to search results
000000000000DEFAULT
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 Effective mathematics of the uncountable
      1. 
      Effective mathematics of the uncountable
      by 
      Greenberg, Noam.
      Click to View
      Format: 
      Excerpt: 
      Computable functions.
      Cover image for Theory of computation
      2. 
      Theory of computation
      by 
      Tourlakis, George J.
      Click to View
      Format: 
      Excerpt: 
      Computable functions.
      Cover image for Proof and computations
      3. 
      Proof and computations
      by 
      Schwichtenberg, Helmut, 1942-
      Click to View
      Format: 
      Excerpt: 
      Computable functions.
      Cover image for Computability in context computation and logic in the real world
      4. 
      Computability in context computation and logic in the real world
      by 
      Cooper, S. B. (S. Barry)
      Click to View
      Format: 
      Excerpt: 
      Computable functions.
      Cover image for Computable structures and the hyperarithmetical hierarchy
      5. 
      Cover image for Computability, complexity, logic
      6. 
      Cover image for Handbook of computability theory
      7. 
      Cover image for Symbolic computation and education
      8. 
      Symbolic computation and education
      by 
      Li, Shangzhi, 1947-
      Click to View
      Format: 
      Excerpt: 
      Computable functions -- Data processing -- Congresses.
      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
      9. 
      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
      10. 
      Computability theory: an introduction
      by 
      Jones, Neil D.
      ScienceDirect http://www.sciencedirect.com/science/book/9780123900500
      Format: 
      Excerpt: 
      Computable functions.
      Cover image for Research tools in natural resource and environmental economics
      11. 
      Research tools in natural resource and environmental economics
      by 
      Batabyal, Amitrajeet A., 1965-
      Click to View
      Format: 
      Excerpt: 
      intertemporally optimizing agents / Donaghy and Wymer -- Computable general equilibrium models for the analysis of
      Cover image for Formal systems and recursive functions
      12. 
      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