Search ResultsElectronic Resources
Switch to list view
Switch to thumbnail view
Select an Action
3 Results Found Subscribe to search results
000DEFAULT
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 Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976
      1. 
      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 Formal systems and recursive functions
      2. 
      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
      3. 
      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