A Mathematical Introduction to Mathematical Logic | Politeknik Digital Boash Indonesia