1. [1] Beth, E. W., The Foundations of Mathematics: A Study in the Philosophy of Science, Studies in Logic and the Foundations of Mathematics. North-Holland Publishing Company, Amsterdam, 1959.
2. [2] Boole, G., The Mathematical Analysis of Logic, Being an Essay Towards a Calculus of Deductive Reasoning, Cambridge: Macmillan, Barclay, & Macmillan; London: George Bell, 1847. Reprinted by Philosophical Library, New York, 1948; in Studies in Logic and Probability by George Boole, Watts & Co., London, 1952; by Basil Blackwell, Oxford, U.K., 1965; by Thoemmes Press, Bristol, U.K., 1998; and by Kessenger Publishing, Whitefish, MT, 2007.
3. [4] Boole, G., An Investigation of the Laws of Thought, on Which Are Founded the Mathematical Theories of Logic and Probabilities, Walton, London, 1854. Reprinted by Open Court Publishing Co., Chicago & London, 1911; by Dover Books, New York, 1951; by Prometheus Books, Buffalo, 2003; and by Cosimo Books, New York, 2007.).
4. [5] Boros, E., and P. L. Hammer, "Pseudo-Boolean optimization", Discrete Applied Mathematics, vol. 123 (2002), pp. 155--225. Workshop on Discrete Optimization, DO'99 (Piscataway, NJ).
5. [7] Brown, F. M., Boolean Reasoning: The Logic of Boolean Equations, Kluwer Academic Publishers, Boston, 1990. Second edition, Dover Publications, Mineola, 2003.