Search ResultsElectronic Resources
Switch to list view
Switch to thumbnail view
Select an Action
5 Results Found Subscribe to search results
00000DEFAULT
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 Computability, complexity, logic
      2. 
      Cover image for Formal systems and recursive functions
      3. 
      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 Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976
      4. 
      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 Foundational studies : selected works. Volume II
      5. 
      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