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
12 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 Mathematical logic and foundations of set theory : Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968.
      1. 
      Mathematical logic and foundations of set theory : Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968.
      by 
      International Colloquium on Mathematical Logic and Foundations of Set Theory (1968 : Jerusalem)
      ScienceDirect http://www.sciencedirect.com/science/book/9780720422559
      ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=59
      Format: 
      Excerpt: 
      Mathematical logic and foundations of set theory : Proceedings of an international colloquium under
      Cover image for The adventure of reason : interplay between philosophy of mathematics and mathematical logic, 1900-1940
      2. 
      The adventure of reason : interplay between philosophy of mathematics and mathematical logic, 1900-1940
      by 
      Mancosu, Paolo.
      Click to View
      Format: 
      Excerpt: 
      part I. Mathematical logic, 1900-1935 -- part II. Foundations of mathematics -- part III
      Cover image for Mathematical foundations of quantum theory
      3. 
      Mathematical foundations of quantum theory
      by 
      Marlow, A. R.
      ScienceDirect http://www.sciencedirect.com/science/book/9780124732506
      Format: 
      Excerpt: 
      The mathematical foundations of quantum theory / The "past" and the "delayed-choice" double
      Cover image for Logic, methodology and philosophy of science : proceedings of the 1960 international congress
      4. 
      Logic, methodology and philosophy of science : proceedings of the 1960 international congress
      by 
      International Congress of Logic, Methodology, and Philosophy of Science (1960)
      ScienceDirect http://www.sciencedirect.com/science/book/9780804700962
      Format: 
      Excerpt: 
      Mathematical logic -- Foundations of mathematical theories -- Philosophy of logic and mathematics
      Cover image for Hegel and the metaphysics of absolute negativity
      5. 
      Hegel and the metaphysics of absolute negativity
      by 
      Bowman, Brady.
      Click to View
      Format: 
      Excerpt: 
      . Skeptical implications for the foundations of natural science; 5. The methodology of finite cognition and
      Cover image for Logic colloquium '85 : proceedings of the colloquium held in Orsay, France July 1985
      6. 
      Logic colloquium '85 : proceedings of the colloquium held in Orsay, France July 1985
      by 
      Logic Colloquium (1985 : Orsay, France)
      ScienceDirect https://www.sciencedirect.com/science/book/9780444702111
      ScienceDirect https://www.sciencedirect.com/science/bookseries/0049237X/122
      ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=122
      Format: 
      Excerpt: 
      theory, both pure and in its applications (to group theory and real algebraic geometry); and proof theory
      Cover image for Handbook of mathematical induction : theory and applications
      7. 
      Handbook of mathematical induction : theory and applications
      by 
      Gunderson, David S., author.
      Click to View
      Format: 
      Excerpt: 
      What is mathematical induction? -- Foundations -- Variants of finite mathematical induction
      Cover image for Handbook of analysis and its foundations
      8. 
      Handbook of analysis and its foundations
      by 
      Schechter, Eric, 1950-
      ScienceDirect http://www.sciencedirect.com/science/book/9780126227604
      Format: 
      Excerpt: 
      Handbook of Analysis and Its Foundations is a self-contained and unified handbook on mathematical
      Cover image for Logical frameworks for truth and abstraction : an axiomatic study
      9. 
      Logical frameworks for truth and abstraction : an axiomatic study
      by 
      Cantini, Andrea.
      ScienceDirect http://www.sciencedirect.com/science/book/9780444823069
      ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=135
      ScienceDirect http://www.sciencedirect.com/science/bookseries/0049237X/135
      Format: 
      Excerpt: 
      foundations for property theory and formal semantics; (ii) these theories provide a new outlook on classical
      Cover image for Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978
      10. 
      Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978
      by 
      Latin-American Symposium on Mathematical Logic (4th : 1978 : Santiago de Chile)
      ScienceDirect http://www.sciencedirect.com/science/book/9780444854025
      Format: 
      Excerpt: 
      combinatory logic; Chapter 5 Back-and-forth systems for arbitrary quantifiers; Chapter 6 Foundations of
      Cover image for Philosophy of Statistics.
      11. 
      Philosophy of Statistics.
      by 
      Prasanta S. Bandyopadhyay.
      ScienceDirect http://www.sciencedirect.com/science/book/9780444518620
      Format: 
      Excerpt: 
      "Randomness" -- Defining Randomness / Deborah Bennett -- Mathematical Foundations of Randomness / Abhijit
      Cover image for Algebraic methods of mathematical logic
      12. 
      Algebraic methods of mathematical logic
      by 
      Rieger, Ladislav, 1916-1963.
      ScienceDirect http://www.sciencedirect.com/science/book/9781483231235
      Format: 
      Excerpt: 
      algebra based on joins, meets and complementation; 6.3. Basic algebraic tools of mathematical logic