logical verification: old exams


Back to the homepage of logical verification.