1 | | Logic and information flow / edited by Jan van Eijck and Albert Visser . - Cambridge, Mass. : MIT Press, 1994. - 233 p. : ill. ; 24 cm Thông tin xếp giá: : G106K01: 100016827 |
2 | | Logically determined design : clockless system design with NULL convention logic / Karl M. Fant . - Hoboken, NJ : John Wiley & Sons, 2005. - xvi, 292 p. : ill. ; 24 cm Thông tin xếp giá: : G211K23: 100009632-100009635, G211K23: 100014905-100014906 |
3 | | Theorems, corollaries, lemmas, and methods of proof / Richard J. Rossi . - Hoboken, N.J. : Wiley, 2006. - xiii, 318 p. ; 25 cm Thông tin xếp giá: : G106K01: 100007667-100007668, G106K01: 100009973, G210K12: 100007477, G210K12: 100007666, G210K12: 100007669 |
4 | | Weaving self-evidence : a sociology of logic / Claude Rosental ; translated by Catherine Porter . - Princeton : Princeton University Press, 2008. - 294 p. : ill. ; 24 cm Thông tin xếp giá: : G106K01: 100016724 |