一階邏輯的最新討論

有沒有喜歡數理邏輯的人一起討論

看過Elliott Mendelson的Introduction of Mathematical Logic，然後為了一些關於新增function letter的證明參考過Kleene的Introdu