Exams for Mathematical logic for Engineering's students