Gallier, Jean2018-10-312018-10-3120102010http://196.43.179.3:8080/xmlui/handle/123456789/8791.Mathematical Reasoning, Proof Principles and Logic; 2.Relations, Functions, Partial Functions; 3.Graphs, Part I: Basic Notions; 4.Some Counting Problems; Multinomial Coefficients; 5.Partial Orders, GCD’s, RSA, Lattices; 6.Graphs, Part II: More Advanced Notionsen-USBook