作者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