**************************************************************************************************************************
|
COURSE in LOGICS (UE IN7122, 2011-2012, 1st semester):
Exercise sheets:
- On chapter 1 (natural deduction):
.pdf
- On chapter 2 (sequent calculus):
.pdf
- On chapter 3 (cut elimination):
.pdf
- On chapter 4 (semantics):
.pdf
- On chapter 5 (Presburger arithmetics):
.pdf