Editing Propositional formula (section)

== References ==
* {{cite book |last= Rosenbloom |first= Paul |author-link= Paul C. Rosenbloom |date=1950 |title=The Elements of Mathematical Logic |location=Mineola, New York |publisher=Dover Publications, Inc.|isbn=0-486-44617-4}}
* {{cite book |last= Kleene |first= Stephen |author-link= Stephen Cole Kleene |date=1952 |title=Introduction to metamathematics |location=Amsterdam |publisher=North-Holland Publishing Company}}
* {{aut|Bender, Edward A.}} and {{aut|Williamson, S. Gill}}, 2005, ''A Short Course in Discrete Mathematics'', Dover Publications, Mineola NY, {{isbn|0-486-43946-1}}. This text is used in a "lower division two-quarter [computer science] course" at UC San Diego.
* {{aut|[[Herbert Enderton|Enderton, H. B.]]}},  2002, ''A Mathematical Introduction to Logic.'' Harcourt/Academic Press. {{isbn|0-12-238452-0}}
* {{aut|Goodstein, R. L.}}, (Pergamon Press 1963), 1966, (Dover edition 2007), ''Boolean Algebra'', Dover Publications, Inc. Minola, New York, {{isbn|0-486-45894-6}}. Emphasis on the notion of "algebra of classes" with set-theoretic symbols such as ∩, ∪, ' (NOT), ⊂ (IMPLIES). Later Goldstein replaces these with &, ∨, ￢, → (respectively) in his treatment of "Sentence Logic" pp.&nbsp;76–93.
* {{aut|[[Ivor Grattan-Guinness]]}} and Gérard Bornet 1997, ''George Boole: Selected Manuscripts on Logic and its Philosophy'', Birkhäuser Verlag, Basil, {{isbn|978-0-8176-5456-6}} (Boston).
* {{aut|A. G. Hamilton}} 1978, ''Logic for Mathematicians'', Cambridge University Press, Cambridge UK, {{isbn|0-521-21838-1}}.
* {{aut|E. J. [[McCluskey]]}} 1965, ''Introduction to the Theory of Switching Circuits'', McGraw-Hill Book Company, New York. No ISBN. Library of Congress Catalog Card Number 65-17394. McCluskey was a student of [[Willard Quine]] and developed some notable theorems with Quine and on his own. For those interested in the history, the book contains a wealth of references.
* {{aut|[[Marvin L. Minsky]]}} 1967, ''Computation: Finite and Infinite Machines'', Prentice-Hall, Inc, Englewood Cliffs, N.J.. No ISBN. Library of Congress Catalog Card Number 67-12342. Useful especially for computability, plus good sources.
* {{aut|[[Joel W. Robbin]]}} 1969, 1997, ''Mathematical Logic: A First Course'', Dover Publications, Inc., Mineola, New York, {{isbn|0-486-45018-X}} (pbk.).
* {{aut|[[Patrick Suppes]]}} 1957 (1999 Dover edition), ''Introduction to Logic'', Dover Publications, Inc., Mineola, New York. {{isbn|0-486-40687-3}} (pbk.). This book is in print and readily available.
* On his page 204 in a footnote he references his set of axioms to [[Edward Vermilye Huntington|E. V. Huntington]], "Sets of Independent Postulates for the Algebra of Logic", ''Transactions of the American Mathematical Society'', Vol. 5 91904) pp. 288-309.
* {{aut|[[Alfred Tarski]]}} 1941 (1995 Dover edition), ''Introduction to Logic and to the Methodology of Deductive Sciences'', Dover Publications, Inc., Mineola, New York. {{isbn|0-486-28462-X}} (pbk.). This book is in print and readily available.
* {{aut|[[Jean van Heijenoort]]}} 1967, 3rd printing with emendations 1976, ''From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931'', Harvard University Press, Cambridge, Massachusetts. {{isbn|0-674-32449-8}} (pbk.) Translation/reprints of Frege (1879), Russell's letter to Frege (1902) and Frege's letter to Russell (1902), Richard's paradox (1905), Post (1921) can be found here.
* {{aut|[[Alfred North Whitehead]]}} and {{aut|[[Bertrand Russell]]}} 1927 2nd edition, paperback edition to *53 1962, ''Principia Mathematica'', Cambridge University Press, no ISBN. In the years between the first edition of 1912 and the 2nd edition of 1927, H. M. [[Sheffer]] 1921 and M. Jean [[Nicod]] (no year cited) brought to Russell's and Whitehead's attention that what they considered their primitive propositions (connectives) could be reduced to a single |, nowadays known as the "stroke" or NAND (NOT-AND, NEITHER ... NOR...). Russell-Whitehead discuss this in their "Introduction to the Second Edition" and makes the definitions as discussed above.
* {{aut|William E. Wickes}} 1968, ''Logic Design with Integrated Circuits'', John Wiley & Sons, Inc., New York. No ISBN. Library of Congress Catalog Card Number: 68-21185. Tight presentation of engineering's analysis and synthesis methods, references McCluskey 1965. Unlike Suppes, Wickes' presentation of "Boolean algebra" starts with a set of postulates of a truth-table nature and then derives the customary theorems of them (p.&nbsp;18ff).