Jordan Etem's video: Lisa Su: Edge Security Cloud Data Holistic Development with Community

Edge, Security, Cloud, Data. Holistic Development with Community. * 1.Ben-Ari M (2008) Mathematical logic for computer science, 2nd edn. Springer International, London. ISBN-978-81-8128-344-3 * 2.Chowdhary KR (2012) Fundamentals of discrete mathematical structures, 2nd edn. EEE PHI India. ISBN: 978-81-203-4506-5 * 3.Cohen PJ (2008) Set theory and the continuum hypothesis. Dover, New York * 4.Davis M, Putnam H (1960) A computing procedure for quantification theory. J ACM 7(3):201–215.  https://doi.org/10.1145/321033.321034 * 5.Gelder AV (1991) The well-founded semantics for general logic programs. J ACM 38(3):620–650 * 6.Hilbert D (2005) The foundations of geometry. Ebook # 17384 * 7.Kaushik S (2002) Logic and prolog programming. New Age International, New Delhi * 8.Puppes P (1972) Axiomatic set theory. Dover, New York * 9.Shankar N (2009) Automated deduction for verification. ACM Comput Surv 41(4):20:1.