Ones and zeros: Understanding Boolean algebra, digital circuits, and the logic of sets

Ones and Zeros: Understanding Boolean Algebra, Digital Circuits, and the Logic of Sets

Volumn , Issue , 1998, Pages 1-279

  Gregg, John ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

EID: 85051999530     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1109/9780470545423     Document Type: Book

References (58)

1. Maxfield, Clive. Bebop to the Boolean Boogie. Solana Beach, CA: Hightext, 1995.
2. Almaini, A. E. A. Electronic Logic Systems. Englewood Cliffs, NJ: PrenticeHall, 1986.
3. Booth, Taylor L. Introduction to Computer Engineering. 3d ed. New York: John Wiley & Sons, 1984.
4. Cowan, Sam. Handbook ofDigital Logic. . With Practical Applications. Englewood Cliffs, NJ: Prentice-Hall, 1985.
5. Flegg, Graham. Boolean Algebra and Its Applications Including Boolean Matrix Algebra. New York: John Wiley & Sons, 1964.
6. Friedman, Arthur D. Fundamentals ofLogic Design and Switching Theory. Rockville, MD: Computer Science Press, 1986.
7. Hill, Frederick J., and Gerald R. Peterson. Introduction to Switching Theory and Logical Design. 3d ed. New York: John Wiley & Sons, 1981.
8. Hohn, Franz E. Applied Boolean Algebra. 2d ed. New York: Macmillan, 1966.
9. Mange, Daniel. Analysis and Synthesis of Logic Systems. Norwood, MA: Artech House, 1986.
10. Mano, M. Morris. Computer Logic Design. Englewood Cliffs, NJ: Prentice-Hall, 1972.
11. Oberman, R. M. M. Digital Circuits for Binary Arithmetic. New York: John Wiley & Sons, 1979.
12. Sandige, Richard S. Modern Digital Design. New York: McGraw-Hill, 1990.
13. South, G. F. Boolean Algebra and Its Uses. London: VNR, 1974.
14. Strangio, Christopher E. Digital Electronics: Fundamental Concepts and Applications. Englewood Cliffs, NJ: Prentice-Hall, 1980.
15. Unger, Stephen H. The Essence ofLogic Circuits. 2d ed. New York: IEEE Press, 1989.
16. Hailperin, Theodore. Boole’s Logic and Probability. Amsterdam: North-Holland, 1976.
17. Halmos, Paul R. Algebraic Logic. New York: Chelsea, 1962.
18. Halmos, Paul R. Lectures on Boolean Algebras. London: VNR, 1963.
19. Monk, Donald J., and Robert Bonnet, (eds). Handbook of Boolean Algebras. Amsterdam: Elsevier, 1989.
20. Sergiu Rudeanu. Boolean Functions and Equations. Amsterdam: North-Holland, 1974.
21. Sikorski, Roman. Boolean Algebras. Berlin: Springer-Verlag, 1964.
22. Boole, George. An Investigation of the Laws of Thought on Which Are Founded the Mathematical Theories ofLogic and Probabilities. New York: Dover, 1958 (originally published 1854).
23. Carrol, Lewis. Symbolic Logic. New York: Potter, 1977.
24. Couturat, Louis. The Algebra of Logic. Chicago: Open Court, 1914.
25. DeMorgan, Augustus. On the Syllogism and Other Logical Writings. New Haven, CT: Yale, 1966.
26. Kamaugh, M. “The Map Method for Synthesis of Combinational Logic Circuits.” Trans Am IEEE 72 (1953) 593-599.
27. Kolmogorov, A. N., and A. P. Yushkevich(eds). Mathematics ofthe 19th Century. Basel: Birkhauswer Verlag, 1992.
28. Peirce, Charles S. Writings ofCharles S. Peirce. Bloomington: Indiana University Press, 1982.
29. Peirce, Charles S. (ed.). Studies in Logic. Amsterdam: John Benjamins, 1983 (orig. publ. 1883).
30. Quine, W. V. Methods of Logic. New York: Holt, Rinehart and Winston, 1961.
31. Quine, W. V. Selected Logic Papers. New York: Random House, 1966.
32. Shannon, Claude E. “A Symbolic Analysis of Relay and Switching Circuits.” Trans Am IEEE 57 (1938) 713-723. Reprinted in Claude Elwood Shannon: Collected Papers. Sloan N. J. A., and Aaron D. Wyner (eds.) New York: IEEE Press, 1992.
33. Shearman, A. T. The Development ofSymbolic Logic. Dubuque: Brown Reprint, 1971 (originally published 1906).
34. Styazhkin, N. I. History of Mathematical Logic from Leibniz to Peano. Cambridge: MIT, 1969.
35. Veitch, E.W. “A Chart Method For Simplifying Truth Functions.” Proceedings of the Association for Computing Machinery, Pittsburgh, PA, May 1952.
36. Venn, John. Symbolic Logic. New York: Chelsea, 1971 (orig. publ, 1894).
37. Adler, Irving. Thinking Machines: A Layman’s Introduction to Logic, Boolean Algebra, and Computers. New York: John Day, 1961.
38. Copi, Irving M. Symbolic Logic. 3d ed. New York: Macmillan, 1967.
39. Dowsing, R. D., V. J. Rayward-Smith, and C. D. Walter. A First Course in Formal Logic and Its Applications in Computer Science. Oxford, UK: Blackwell, 1986.
40. Kalish, Donald, and Richard Montague Logic: Techniques ofFormal Reasoning. 2d ed. New York: Harcourt Brace Jovanovich, 1980.
41. Korfhage, Robert R. Logic and Algorithms with Applications to the Computer and Information Sciences. New York: John Wiley & Sons, 1966.
42. Mendelson, Elliott. Introduction to Mathematical Logic. 2d ed. New York: Van Nostrand, 1979.
43. Barrow, John D. Pi in the Sky: Counting, Thinking, and Being. Oxford: OUP, 1992.
44. Bell, E. T. The Development of Mathematics. New York: McGraw-Hill, 1940.
45. Glaser, Anton. A History of Binary and Other Nondecimal Numeration. Southampton, PA: Tomash, 1971.
46. Hardy, G. H. A Mathematician’s Apology. Cambridge: Cambridge University Press, 1940.
47. Ifrah, Georges. From One to Zero: A Universal History of Numbers. New York: Viking, 1985.
48. Menninger, Karl. Number Words and Number Symbols: A Cultural History of Numbers. Cambridge: MIT, 1969.
49. Aspray, William (ed). Computing Before Computers. Ames, IA: Iowa State University, 1990.
50. Augarten, Stan. Bit by Bit: An Illustrated History of Computers. New York: Ticknor & Fields, 1984.
51. Gardner, Martin. Logic Machines and Diagrams. Chicago: University of Chicago, 1958.
52. Goldstine, Herman H. The Computer from Pascal to von Neumann. Princeton: Princeton University Press, 1972.
53. Lindgren, Michael. Glory and Failure: The Difference Engines ofJohann Muller, Charles Babbage and Georg and Edvard Scheutz: (translated by Craig McKay) Linkoping, Sweden: Linkoping University, 1987.
54. Martin, Ernst. The Calculating Machines. (translated and edited by Peggy Kidwell and Michael Williams, originally published in 1925) Cambridge, MA and Los Angeles: MIT Press and Tomash, 1992.
55. Murray, Francis J. Mathematical Machines, Volume I: Digital Computers. New York: Columbia U, 1961.
56. Randell, Brian (ed). The Origins ofDigital Computers: Selected Papers (second edition). New York: Springer-Verlag, 1975.
57. Brown, Frank Markham. Boolean Reasoning: The Logic of Boolean Equations. Dordrecht: Kluwer, 1990.
58. Blake, A. “Canonical Expressions in Boolean Algebra” (dissertation, Dept. of Mathematics, University of Chicago, 1937).