On Sets and Graphs : Perspectives on Logic and Combinatorics - Omodeo, Eugenio G.; Policriti, Alberto; Tomescu, Alexandru I.; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2017)
Introduction -- Part I: Basics -- Membership and Edge Relations -- Sets, Graphs, and Set Universes -- Part II: Graphs as Sets -- The Undirected Structure Underlying Sets -- Graphs as Transitive Sets -- Part III: Sets as Graphs -- Counting and Encoding Sets -- Random Generation of Sets -- Infinite Sets and Finite Combinatorics -- Appendix: Excerpts from a Referee-Checked Proof-Script.
Keywords: Computer logic; Algorithms; Graph theory; Combinatorics; Logics and Meanings of Programs; Algorithm Analysis and Problem Complexity; Graph Theory; Combinatorics