Logic minimization algorithms for VLSI synthesis by Brayton, Robert King fromThe Kluwer International Series in Engineering and Computer… 0 Type: Book
Around and beyond the square of opposition by Béziau, Jean-Yves fromStudies in Universal Logic 0 Type: Book
Computability, complexity and languages: fundamentals of theorical computer science by Davis, Martin, Davis, Martin D., Weyuker, Elaine J. fromComputer science and applied mathematics 0 Type: Book
