這是兩週後演講所使用的投影片。

三、形式系統的建構:概述

本文為演繹邏輯系統之形式化第三章的課堂筆記。 Continue reading

二、命題邏輯的諸語義學後設理論

Published on October 02, 2017

一、形式語言與基本語義學

Published on October 01, 2017