Search ResultsElectronic Resources
Limit Search Results
Author
Material Type
Language
Publication Date
-
Subject
Library
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
8 Results Found Subscribe to search results
00000000DEFAULT
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 Contributions to non-standard analysis
      1. 
      Contributions to non-standard analysis
      by 
      Symposium on Non-standard Analysis (1970 : Oberwolfach, Germany)
      ScienceDirect http://www.sciencedirect.com/science/book/9780720420654
      ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=69
      Format: 
      Excerpt: 
      Nonstandard mathematical analysis -- Congresses.
      Cover image for Mathematical reasoning patterns, problems, conjectures, and proofs
      2. 
      Mathematical reasoning patterns, problems, conjectures, and proofs
      by 
      Nickerson, Raymond S.
      Click to View
      Format: 
      Excerpt: 
      Mathematical analysis.
      Cover image for Non-standard analysis.
      3. 
      Cover image for Andrzej Mostowski and foundational studies
      4. 
      Andrzej Mostowski and foundational studies
      by 
      Mostowski, Andrzej.
      Click to View
      Format: 
      Excerpt: 
      Mathematical analysis -- Foundations.
      Cover image for Frege and other philosophers
      5. 
      Frege and other philosophers
      by 
      Dummett, Michael, 1925-2011.
      Click to View
      Format: 
      Cover image for Logical dynamics of information and interaction
      6. 
      Logical dynamics of information and interaction
      by 
      Benthem, J. F. A. K. van, 1949-
      Click to View
      Format: 
      Excerpt: 
      interaction in games. Throughout, the book develops a mathematical theory unifying all these systems, and
      Cover image for Mathematical logic
      7. 
      Mathematical logic
      by 
      Turing, Alan, 1912-1954.
      ScienceDirect https://www.sciencedirect.com/science/book/9780444504234
      Format: 
      Excerpt: 
      -- Chapter 10. 1943-4 Practical Forms of Type Theory II -- Chapter 11. 1944-5 The Reform of Mathematical
      Cover image for Logic colloquium '78 : proceedings of the colloquium held in Mons, August 1978
      8. 
      Logic colloquium '78 : proceedings of the colloquium held in Mons, August 1978
      by 
      Logic Colloquium (1978 : Mons, Belgium)
      ScienceDirect http://www.sciencedirect.com/science/book/9780444853783
      ScienceDirect http://www.sciencedirect.com/science/bookseries/0049237X/97
      Format: 
      Excerpt: 
      -- Remarks on constructive mathematical analysis / O. Demuth, A. Kučera -- Diophantine problem for polynomial