Search ResultsElectronic Resources
Limit Search Results
Material Type
Language
Publication Date
-
Subject
Library
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.
      by 
      Latin-American Symposium on Mathematical Logic (4th : 1978 : Santiago de Chile)
      Format: 
      Excerpt: 
      combinatory logic; Chapter 5 Back-and-forth systems for arbitrary quantifiers; Chapter 6 Foundations of
      by 
      Adamatzky, Andrew. editor.
      Format: 
      Excerpt: 
      Classical Reversible Computing and Quantum Computing -- Fault Models in Reversible and Quantum Circuits -- A
      by 
      Prasanta S. Bandyopadhyay.
      Format: 
      Excerpt: 
      "Randomness" -- Defining Randomness / Deborah Bennett -- Mathematical Foundations of Randomness / Abhijit
      by 
      Rieger, Ladislav, 1916-1963.
      Format: 
      Excerpt: 
      algebra based on joins, meets and complementation; 6.3. Basic algebraic tools of mathematical logic