MAT-60556 Mathematical Logic, 5 cr
Implementation MAT-60556 2016-01
| Period | The implementation will not be executed during the academic year 2016-2017. |
| Methods of instruction | |
| Person responsible | Esko Turunen |
Assessment scale
Numerical evaluation scale (0-5)
Requirements
Examination.
Study material
| Type | Name | Author | ISBN | Additional information | Language | Examination material |
| Book | Proof Theory | Gaisi Takeuti | English | No | ||
| Lecture slides | Esko Turunen | Suomi | Yes |