Search ResultsElectronic Resources
Limit Search Results
Author
Material Type
Language
Publication Date
-
Subject
Electronic books.
(12)
Logic, Symbolic and mathematical.
(7)
Artificial Intelligence (incl. Robotics).
(4)
Artificial intelligence.
(4)
Computational intelligence.
(4)
Library
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
16 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 Intuitionistic Fuzzy Logics
      2. 
      Intuitionistic Fuzzy Logics
      by 
      T. Atanassov, Krassimir. author.
      http://dx.doi.org/10.1007/978-3-319-48953-7
      Format: 
      Excerpt: 
      Mathematical Logic and Foundations.
      Cover image for On the Logos: A Naïve View on Ordinary Reasoning and Fuzzy Logic
      3. 
      On the Logos: A Naïve View on Ordinary Reasoning and Fuzzy Logic
      by 
      Trillas, Enric. author.
      http://dx.doi.org/10.1007/978-3-319-56053-3
      Format: 
      Excerpt: 
      Mathematical Logic and Foundations.
      Cover image for Springer Handbook of Model-Based Science
      4. 
      Springer Handbook of Model-Based Science
      by 
      Magnani, Lorenzo. editor.
      http://dx.doi.org/10.1007/978-3-319-30526-4
      Format: 
      Excerpt: 
      Mathematical Logic and Foundations.
      Cover image for The adventure of reason : interplay between philosophy of mathematics and mathematical logic, 1900-1940
      5. 
      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
      6. 
      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
      7. 
      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
      8. 
      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
      9. 
      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
      10. 
      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
      11. 
      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
      12. 
      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