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
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 Working material for the lectures of J.V. Tucker.
      11. 
      Working material for the lectures of J.V. Tucker.
      by 
      Tucker, J.V.
      Format: 
      Excerpt: 
      synchronous concurrent algorithms / J. V. Tucker--Computable functions on stream algebras / J.V. Tucker, J. I
      Cover image for Research tools in natural resource and environmental economics
      12. 
      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
      Go to:Search Results
      |
      Search Facets
      |
      Top of Page