Lecture notes for Mathematical logic for Engineering's students