Gallier, Jean2018-10-312018-10-3120122012http://196.43.179.3:8080/xmlui/handle/123456789/883Chapter 5:Partial Orders, Lattices, Well Founded Orderings, Unique Prime Factorization in Z and GCD’s, Equivalence Relations, Fibonacci and Lucas Numbers, Public Key Cryptography and RSA, Distributive Lattices, Boolean Algebras, Heyting Algebras: 5.1 Partial Orders; 5.2 Lattices and Tarski’s Fixed Point Theorem; 5.3 Well-Founded Orderings and Complete Induction; 5.4 Unique Prime Factorization in Z and GCD’s; 5.5 Dirichlet’s Diophantine Approximation Theorem...en-USBook