Relasi finiter
Bibliografi

Codd, Edgar Frank (1990). The Relational Model for Database Management: Version 2 (PDF). Boston: Addison-Wesley. ISBN 978-0201141924.
Bourbaki, N. (1994) Elements of the History of Mathematics, John Meldrum, trans. Springer-Verlag.
Carnap, Rudolf (1958) Introduction to Symbolic Logic with Applications. Dover Publications.
Halmos, P.R. (1960) Naive Set Theory. Princeton NJ: D. Van Nostrand Company.
Lawvere, F.W., and R. Rosebrugh (2003) Sets for Mathematics, Cambridge Univ. Press.
Lewis, C.I. (1918) A Survey of Symbolic Logic, Chapter 3: Applications of the Boole—Schröder Algebra, via Internet Archive
Lucas, J. R. (1999) Conceptual Roots of Mathematics. Routledge.
Maddux, R.D. (2006) Relation Algebras, vol. 150 in 'Studies in Logic and the Foundations of Mathematics'. Elsevier Science.
Merrill, Dan D. (1990) Augustus De Morgan and the logic of relations. Kluwer.
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.
Peirce, C.S. (1984) Writings of Charles S. Peirce: A Chronological Edition, Volume 2, 1867-1871. Peirce Edition Project, eds. Indiana University Press.
Russell, Bertrand (1903/1938) The Principles of Mathematics, 2nd ed. Cambridge Univ. Press.
Suppes, Patrick (1960/1972) Axiomatic Set Theory. Dover Publications.
Tarski, A. (1956/1983) Logic, Semantics, Metamathematics, Papers from 1923 to 1938, J.H. Woodger, trans. 1st edition, Oxford University Press. 2nd edition, J. Corcoran, ed. Indianapolis IN: Hackett Publishing.
Ulam, S.M. and Bednarek, A.R. (1990), "On the Theory of Relational Structures and Schemata for Parallel Computation", pp. 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.
Ulam, S.M. (1990) Analogies Between Analogies: The Mathematical Reports of S.M. Ulam and His Los Alamos Collaborators in A.R. Bednarek and Françoise Ulam, eds., University of California Press.
Roland Fraïssé (2000) [1986] Theory of Relations, North Holland
| l b Logika matematika |
| --- | --- |
Umum:  Bahasa formal  Aturan formasi  Sistem formal  Sistem deduktif  Pembuktian formal  Formal semantik  Formula bentukan  Himpunan  Elemen  Kelas  Logika klasik  Aksioma  Deduksi alami  Aturan inferensi  Relasi  Teorema  Konsekuensi logis  Sistem aksiomatis  Teori tipe  Simbol  Sintaks  Teori 
Logika tradisional:  Proposisi  Inferensi  Argumen  Validitas  Meyakinkan  Silogisme  Sisi berlawanan  Diagram Venn 
Kalkulus proposisional Logika boolean:  Fungsi Boolean  Kalkulus proposisional  Formula proposisional  Hubungan logis  Tabel kebenaran 
Logika predikat:  Orde-pertama  Pembilang  Predikat  Orde-dua  Kalkulus predikat Monadic 
Teori himpunan:  Himpunan  Himpunan kosong  Enumerasi  Ekstensionalitas  Himpunan terbatas  Fungsi  Subhimpunan  Himpinan perpangkatan  Himpunan terhitung  Himpunan rekursif  Domain  Rentang  Pasangan berurut  Himputan tak terhitung 
Teori model:  Model  Interpretasi  Model nonstandar  Teori model terbatas  Nilai kebenaran  Validitas 
Teori pembuktian:  Pembuktian formal  Sistem deduktif  Sistem formal  Teorema  Konsekuensi logis  Aturan inferensi  Sintaks 
Teori komputabilitas:  Rekursi  Himpunan rekursif  Himpunan rekursif terhitung  Permasalahan keputusan  Tesis Church–Turing  Fungsi terhitung  Fungsi rekursif primitif 
Kategori
| Pengawasan otoritas  |
| --- | --- |
Umum:  Integrated Authority File (Jerman) 
Lain-lain:  Microsoft Academic 2