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
0000DEFAULT
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 Admissibility of logical inference rules
      13. 
      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: 
      computer science. Although some knowledge of elementary logic and universal algebra are necessary, the
      Cover image for Logic Colloquium '87 : proceedings of the Colloquium held in Granada, Spain July 20-25, 1987
      14. 
      Cover image for Computability, complexity, logic
      15. 
      Computability, complexity, logic
      by 
      Börger, E. (Egon), 1946-
      ScienceDirect http://www.sciencedirect.com/science/book/9780444874061
      ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=128
      Format: 
      Excerpt: 
      knowledge of computer science and particularly of complexity theory. It is both a textbook for introductory
      Cover image for Logic, methodology and philosophy of science IV : proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971
      16. 
      Logic, methodology and philosophy of science IV : proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971
      by 
      International Congress for Logic, Methodology, and Philosophy of Science (4th : 1971 : Bucharest, Romania)
      ScienceDirect http://www.sciencedirect.com/science/book/9780444104915
      ScienceDirect http://www.sciencedirect.com/science/bookseries/0049237X/74
      ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=74
      Format: 
      Excerpt: 
      The Dangers of Computer-Science Theory; Chapter 15 Sur un Langage Equivalent au Langage de Dyck