HOME | Math-Net.Ru | Scopus

My CV Publications Preprints Talking

Handouts

• Hilbert-style calculus for CL
• Natural deduction for CL

Homework

• Homework 1 %2019-02-16
• Homework 2 %2019-03-02
• Homework 3 %2019-04-07
• Homework 4 %2019-04-17

Questions

• Part 1
• Part 2
• Bonus exercises 1
• Bonus exercises 2

Address: 8 Gubkina St., Moscow 119991, Russia