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
5 Results Found Subscribe to search results
00000DEFAULT
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 Logic, automata, and algorithms
      1. 
      Logic, automata, and algorithms
      by 
      Aĭzerman, M. A. (Mark Aronovich), 1913-1992.
      ScienceDirect http://www.sciencedirect.com/science/book/9780120463503
      Format: 
      Excerpt: 
      Mathematics in science and engineering ;
      Cover image for Symbolic logic and mechanical theorem proving
      2. 
      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 A mathematical introduction to logic
      3. 
      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, methodology, and philosophy of science VII : proceedings of the Seventh International Congress of Logic, Methodology, and Philosophy of Science, Salzburg, 1983
      4. 
      Logic, methodology, and philosophy of science VII : proceedings of the Seventh International Congress of Logic, Methodology, and Philosophy of Science, Salzburg, 1983
      by 
      International Congress of Logic, Methodology, and Philosophy of Science (7th : 1983 : Salzburg, Austria)
      ScienceDirect http://www.sciencedirect.com/science/book/9780444876560
      ScienceDirect https://www.sciencedirect.com/science/book/9780444876560
      Format: 
      Excerpt: 
      theory -- pt. 5. Philosophical logic -- pt. 6. General methodology of science -- pt. 7. Foundations of
      Cover image for Admissibility of logical inference rules
      5. 
      Admissibility of logical inference rules
      by 
      Rybakov, Vladimir V. (Vladimir Vladimir), 1961-
      ScienceDirect https://www.sciencedirect.com/science/book/9780444895059
      ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=136
      ScienceDirect https://www.sciencedirect.com/science/bookseries/0049237X/136
      Format: 
      Excerpt: 
      graduate students in mathematics and computer science the book is an excellent textbook.