Logic and Elementary Proving Methods

Shamsatun Nahar Ahmad is a senior lecturer at the Faculty of Computer and Mathematical Sciences, Universiti Teknologi MARA (UiTM), Johor branch, Segamat campus. She received her Diploma in Computer Sc. from Institut Teknologi MARA (ITM), Shah Alam, Bachelor of Computer Sc. with Education (Mathematics), MSc. (Mathematics), and Ph.D. (Mathematics) from Universiti Teknologi Malaysia (UTM). She has written papers in national and international indexed journals and proceedings, newspaper articles, books, book chapters, and anthology books. In addition to Mathematical Logic and Proving Techniques, she has taught courses including Calculus, Linear Algebra 1, Discrete Mathematics, and Ordinary Differential Equations.

Rusnani Mohamad Khalid is a lecturer at the Faculty of Computer and Mathematical Sciences, Universiti Teknologi MARA (UiTM), Johor branch, Segamat campus. She received her Diploma in Science (Physics) from UITM Jengka Pahang, BSc. (Hons) Mathematics and MSc. (Applied Mathematics) from UiTM Shah Alam. She has written newspaper articles, chapters in books, and papers in national and international journals and proceedings. In addition to Mathematical Logic and Proving Techniques, she has also taught other courses, including Calculus, Linear Algebra 1, Introduction to Probability and Statistics, and Business Mathematics.

Foo Fong Yeng is a senior lecturer at the Faculty of Computer and Mathematical Sciences, Universiti Teknologi MARA (UiTM), Johor branch, Pasir Gudang campus. She received her BSc. (Industrial Mathematics), MSc. (Mathematics), and Ph.D (Mathematics) from Universiti Teknologi Malaysia (UTM). She has written proceeding papers and journal articles at national and international levels. In addition to Mathematical Logic and Proving Techniques, she has taught courses including Calculus, Linear Algebra 1, Introduction to Probability and Statistics, and Business Mathematics.