Editing Finitary relation (section)

== Bibliography ==
{{refbegin}}
* {{citation |last1=Bourbaki |first1=N. |author-link1=Nicolas Bourbaki |year=1994 |title=Elements of the History of Mathematics |translator=John Meldrum |translator-link=John D. P. Meldrum|publisher=Springer-Verlag }}
* {{citation |last1=Carnap |first1=Rudolf |author-link1=Rudolf Carnap |year=1958 |title=Introduction to Symbolic Logic with Applications |publisher=Dover Publications }}
* {{cite journal |last1=Codd |first1=Edgar Frank |author-link=Edgar F. Codd |date=June 1970 |title=A Relational Model of Data for Large Shared Data Banks |url=https://www.seas.upenn.edu/~zives/03f/cis550/codd.pdf |journal=Communications of the ACM |volume=13 |issue=6 |pages=377–387 |doi=10.1145/362384.362685 |s2cid=207549016 |access-date=2020-04-29 }}
* {{cite book |last=Codd |first=Edgar Frank |author-link=Edgar F. Codd |date=1990 |title=The Relational Model for Database Management: Version 2 |url=https://codeblab.com/wp-content/uploads/2009/12/rmdb-codd.pdf |location=Boston |publisher=[[Addison-Wesley]] |isbn=978-0201141924}}
* {{citation |last1=De Morgan |first1=A. |author1-link=Augustus De Morgan |orig-year=1858 |chapter=On the syllogism, part 3 |editor=Heath, P. |year=1966 |title=On the syllogism and other logical writings |publisher=Routledge |page=119 }}
* {{citation |last1= Halmos |first1=P.R. |author-link1=Paul Richard Halmos| year=1960 |title=Naive Set Theory |publication-place=Princeton NJ |publisher=D. Van Nostrand Company }}
* {{citation |last1=Lawvere |first1=F.W. |author-link1=William Lawvere |last2=Rosebrugh |first2= R |year=2003 |title=Sets for Mathematics |publisher=Cambridge Univ. Press }}
* [[Clarence Irving Lewis|Lewis, C.I.]] (1918) [[iarchive:asurveyofsymboli00lewiuoft|A Survey of Symbolic Logic]], Chapter 3: Applications of the Boole–Schröder Algebra, via [[Internet Archive]]
* {{citation |last1=Lucas |first1=J.R. |author-link1=John Lucas (philosopher) |year=1999 |title=Conceptual Roots of Mathematics |publisher=Routledge }}
* {{citation |last1=Maddux |first1=R.D. |author-link1=Roger Maddux |year=2006 |title=Relation Algebras |volume=150 |series=Studies in Logic and the Foundations of Mathematics |publisher=Elsevier Science }}
* {{citation |last1=Merrill |first1=Dan D. |year=1990 |title=Augustus De Morgan and the logic of relations |publisher=Kluwer }}
* {{cite book |last=Nivat |first=M. |chapter=Infinitary relations |author-link1=Maurice Nivat |date=1981 |editor-last=Astesiano |editor-first=Egidio |editor2-last=Böhm |editor2-first=Corrado |title=Caap '81 |chapter-url=https://link.springer.com/chapter/10.1007/3-540-10828-9_54 |series=Lecture Notes in Computer Science |volume=112 |language=en |publisher=Springer Berlin Heidelberg |pages=46–75 |doi=10.1007/3-540-10828-9_54 |isbn=978-3-540-38716-9 }}
* [[Charles Sanders Peirce|Peirce, C.S.]] (1870), "Description of a Notation for the Logic of Relatives, Resulting from an Amplification of the Conceptions of Boole's Calculus of Logic", ''Memoirs of the American Academy of Arts and Sciences'' 9, 317–78, 1870. Reprinted, ''Collected Papers'' CP 3.45–149, ''Chronological Edition'' CE 2, 359–429.
* [[Charles Sanders Peirce|Peirce, C.S.]] (1984) ''Writings of Charles S. Peirce: A Chronological Edition, Volume 2, 1867–1871''. Peirce Edition Project, eds. Indiana University Press.
* {{citation |last1=Russell |first1=B. |author-link1=Bertrand Russell |orig-year=1903 |year=1938 |url=http://fair-use.org/bertrand-russell/the-principles-of-mathematics |title=The Principles of Mathematics |edition=2nd |publisher=Cambridge Univ. Press. }}
* {{citation |last1=Suppes |first1=P. |author-link1=Patrick Suppes |orig-year=1960 |year=1972 |title=Axiomatic Set Theory |publisher=Dover Publications }}
* {{citation |last1=Tarski |first1=A. |author-link1=Alfred Tarski |orig-year=1956 |year=1983 |title=Logic, Semantics, Metamathematics, Papers from 1923 to 1938 |translator=J.H. Woodger |edition=1st |publisher=Oxford University Press }} 2nd edition, J. Corcoran, ed. Indianapolis IN: Hackett Publishing.
* [[Stanislaw Ulam|Ulam, S.M.]] and [[Al Bednarek|Bednarek, A.R.]] (1990), "On the Theory of Relational Structures and Schemata for Parallel Computation", pp.&nbsp;477–508 in A.R. Bednarek and Françoise Ulam (eds.), ''Analogies Between Analogies: The Mathematical Reports of S.M. Ulam and His Los Alamos Collaborators'', University of California Press, Berkeley, CA.
* {{citation |last1=Ulam |first1=S.M. |author-link1=Stanislaw Ulam |year=1990 |title=Analogies Between Analogies: The Mathematical Reports of S.M. Ulam and His Los Alamos Collaborators |editor1=A.R. Bednarek |editor2= Françoise Ulam |publisher=University of California Press }}
* {{citation |last1=Fraïssé |first1=R. |author-link1=Roland Fraïssé |year=2000 |orig-year=1986 |title=Theory of Relations |publisher=North Holland }}
{{refend}}

{{Mathematical logic}}
{{Authority control}}

[[Category:Mathematical logic]]
[[Category:Mathematical relations]]