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
2 Results Found Subscribe to search results
00DEFAULT
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 Logical frameworks for truth and abstraction : an axiomatic study
      1. 
      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 Algebraic methods of mathematical logic
      2. 
      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