Search ResultsElectronic Resources
Limit Search Results
Author
Material Type
Language
Publication Date
-
Subject
Electronic books.
(16)
Logique symbolique et mathématique.
(6)
Logique symbolique et mathématique -- Congrès.
(4)
MATHEMATICS -- Infinity.
(4)
MATHEMATICS -- Logic.
(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 Folk algebras in algebra logic and computer science
      1. 
      Folk algebras in algebra logic and computer science
      by 
      Frias, Marcelo Fabián, 1968-
      Click to View
      Format: 
      Excerpt: 
      Folk algebras in algebra logic and computer science / Frias, Marcelo Fabián, 1968-
      Cover image for Concepts of proof in mathematics, philosophy, and computer science
      2. 
      Concepts of proof in mathematics, philosophy, and computer science
      Click to View
      Format: 
      Excerpt: 
      Concepts of proof in mathematics, philosophy, and computer science /
      Cover image for Principles of logic and logic programming
      3. 
      Principles of logic and logic programming
      by 
      Metakides, George, 1945-
      ScienceDirect http://www.sciencedirect.com/science/book/9780444816443
      Format: 
      Excerpt: 
      Studies in computer science and artificial intelligence ;
      Cover image for Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92
      4. 
      Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92
      by 
      IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications (1992 : Leuven, Belgium)
      ScienceDirect http://www.sciencedirect.com/science/book/9780444898807
      Format: 
      Excerpt: 
      IFIP transactions. A, Computer science and technology ;
      Cover image for Symbolic logic and mechanical theorem proving
      5. 
      Symbolic logic and mechanical theorem proving
      by 
      Chang, Chin-Liang, 1937-
      ScienceDirect https://www.sciencedirect.com/science/book/9780080917283
      Format: 
      Excerpt: 
      Computer science and applied mathematics.
      Cover image for Handbook of logic and language
      6. 
      Handbook of logic and language
      by 
      Benthem, Johan van, 1949-
      ScienceDirect http://www.sciencedirect.com/science/book/9780444537263
      Format: 
      Excerpt: 
      Natural language processing (Computer science) -- Handbooks, manuals, etc.
      Cover image for Handbook of logic and language
      7. 
      Cover image for Logic and automata history and perspectives
      8. 
      Logic and automata history and perspectives
      by 
      Flum, Jörg.
      Click to View
      Format: 
      Excerpt: 
      Computer science -- Mathematics.
      Cover image for Alan Turing his work and impact
      9. 
      Alan Turing his work and impact
      by 
      Cooper, S. B. (S. Barry)
      Click to View
      Format: 
      Excerpt: 
      Computer science -- Mathematics.
      Cover image for Logical dynamics of information and interaction
      10. 
      Logical dynamics of information and interaction
      by 
      Benthem, J. F. A. K. van, 1949-
      Click to View
      Format: 
      Excerpt: 
      positioning them at the interface of logic, philosophy, computer science and game theory. A series of further
      Cover image for A mathematical introduction to logic
      11. 
      A mathematical introduction to logic
      by 
      Enderton, Herbert B.
      ScienceDirect http://www.sciencedirect.com/science/book/9780122384523
      Format: 
      Excerpt: 
      mathematical reasoning. Material is presented on computer science issues such as computational complexity and
      Cover image for Logic colloquium '85 : proceedings of the colloquium held in Orsay, France July 1985
      12.