Logic handout, BSc in Computer Science and Mathematics

Logics course, BSC in Computer Science and Mathematics, University Paris XII (2001-2003)