Progress report_澳门葡京手机版app下载

larsk
2021-10-07T15:52:31.173Z
type:structured-message
www.uio.no

I am done withe the proof of the Completeness Theorem. Next week I will start to lecture Section 3.3.