Editing Equality (mathematics) (section)

=== Bibliography ===

{{Refbegin}}
* {{Cite book |last=Cajori |first=Florian |url=https://archive.org/details/historyofmathema031756mbp/page/n319/mode/2up |title=A History Of Mathematical Notations Vol I |date=1928 |publisher=The Open Court Company, Publishers |location=London}}
* {{Cite book |last=Ferreirós |first=José |date=2007 |title=Labyrinth of Thought |publisher=[[Birkhäuser Verlag]] |location=Basel |doi=10.1007/978-3-7643-8350-3 |isbn=978-3-7643-8349-7}}
* {{Cite book |last=Kleene |first=Stephen Cole |author-link=Stephen Cole Kleene |url=https://archive.org/details/mathematicallogi0000klee/page/150/mode/2up |title=Mathematical Logic |publisher=[[John Wiley & Sons]] |year=1967 |isbn=0-471-49033-4 |location=New York |lccn=66-26747}}
* {{Cite book |last=Krabbe |first=Gregers |date=1975 |title=Operational Calculus |publisher=[[Springer-Verlag]] |location=New York |doi=10.1007/978-1-4613-4392-9 |isbn=978-1-4613-4394-3}}
* {{cite book |last=Lévy |first=Azriel |author-link=Azriel Lévy |isbn=978-0-486-42079-0 |year=2002 |orig-year=1979 |url=https://archive.org/details/basicsettheory00levy_0/ |title=Basic set theory |publisher=Dover |location=Mineola, New York}}
* {{Cite book |author1-link=Saunders Mac Lane |first1=Saunders |last1=Mac Lane |first2=Garrett |last2=Birkhoff |author2-link=Garrett Birkhoff |title=Algebra |edition=Third |publisher=American Mathematical Society |location=Providence, Rhode Island |year=1999 |orig-year=1967}}
* {{Citation |first=Barry |last=Mazur |author-link=Barry Mazur |title=When is one thing equal to some other thing? |date=12 June 2007 |url=http://www.math.harvard.edu/~mazur/preprints/when_is_one.pdf |access-date=13 December 2009 |archive-date=24 October 2019 |archive-url=https://web.archive.org/web/20191024034253/http://www.math.harvard.edu/~mazur/preprints/when_is_one.pdf |url-status=dead}}
* {{Cite book |last=Mendelson |first=Elliott |author-link=Elliott Mendelson |title=Introduction to Mathematical Logic |year=1964 |url=https://archive.org/details/introductiontoma0000mend |location=Princeton, New Jersey |publisher=Van Nostrand |oclc=1150016253}}
* {{Cite book |last=Pinter |first=Charles C. |url=https://archive.org/details/bookofabstractal0000pint_c8m5/ |title=A Book of Abstract Algebra |date=2010 |publisher=Dover |via=Internet Archive |isbn=978-0-486-47417-5 |page=94}}
* {{cite book |last=Rosser |first=John Barkley |author-link=J. Barkley Rosser |title=Logic for mathematicians |publisher=Dover |location=Mineola, New York |year=2008 |orig-year=1953 |isbn=978-0-486-46898-3 |oclc=227923880}}
* {{Cite book |last1=Shoenfield |first1=Joseph Robert |author-link=Joseph R. Shoenfield |title=Mathematical Logic |orig-year=1967 |publisher=[[A K Peters]] |edition=2nd |isbn=978-1-56881-135-2 |year=2001}}
* {{Cite book |last=Stebbing |first=L. S. |url=https://archive.org/details/in.ernet.dli.2015.190795/page/n187/ |title=A Modern Introduction To Logic |date=1930 |publisher=Methuen & Co. |location=London |edition=3rd |oclc=1244466095}}
* {{Cite book |last=Stoll |first=Robert Roth |url=https://archive.org/details/settheorylogic0000stol/ |title=Set Theory and Logic. |date=1963 |publisher=W. H. Freeman |location=San Francisco  |lccn=63-8995}}
{{Refend}}

{{Mathematical logic}}

[[Category:Mathematical logic]]
[[Category:Binary relations]]
[[Category:Elementary arithmetic]]
[[Category:Equivalence (mathematics)]]