Your Surname: AAA-Prova
Email:
Title of the course: Logic in Computer Science
Edition (year):
Instructor(s): Mark Ryan
Type of Course: PhD Course of other Institutes
PhD program/school (optional): Temporal and Modal Logic, Verification, etc, etc
Hours: 20
Credits: 6
Attendance/Exam Attendance + Exam
Type of Exam: Seminar
Link to attendance/exam certificate (Dropbox folder):