作者manchuria (Sonnet)
看板logic
標題Re: [討論] 有沒有人想唸 model theory 的?
時間Wed Mar 30 06:53:04 2005
還沒有那。
我在看types，realising and omiting。
※ 引述《catawu ( ggg)》之銘言：
: ※ 引述《catawu ( ggg)》之銘言：
: : 是他旁邊那一間
: : 沒關係我借圖書館的比較好
: : 因為我電腦壞了
: : 只能用學校的
: 其實也可以把某些問題在這裡談 可以貢獻邏輯版
: 可是問題是 符號啊 我需要一堆符號
: 我剛剛念完 Rull-Navawoski(後面這亂拼) theorem
: 你有念到過這東西嗎
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 67.39.97.70