author:cmlrdg - logic - 批踢踢實業坊

‹ 看板精華區

最舊 ‹ 上頁下頁 › 最新

Re: [請益] 語句翻譯的一些問題

cmlrdg

4/29

[請益] prenex 這個字的發音 XD

cmlrdg

10/08

3

Re: [請益] axiom system

cmlrdg

2/08

3

Re: [請益] axiom system

cmlrdg

1/18

Re: [請益] 建設性的兩難

cmlrdg

1/09

2

Re: [請益] 建設性的兩難

cmlrdg

1/09

1

Re: 白馬是馬，黑馬是馬，所以白馬等於黑馬？

cmlrdg

1/04

2

Re: [請益] Godel's incompleteness theorem

cmlrdg

12/22

Re: [請益] 一階邏輯的不可判定

cmlrdg

12/08

2

Re: [請益] 一階邏輯的不可判定

cmlrdg

12/07