Proofs and Programs -- 2021/2022
M1 (second term) - Tutorials
Course teached by
Colin Riba
.
TD1: Natural deduction -
pdf