查詢 text:Berechenbarkeit ，共 1 筆
查詢再細分
-
- 出版年
- 2002(1)
-
- 語言
- 英語(1)
-
- 作者
- Boolos, George.(1)
- Burgess, John P.,(1)
- Jeffrey, Richard C.(1)
-
- 資料類型
- 電子書(1)
-
- 主題
- Berechenbarkeit(1)
- Berekenbaarheid.(1)
- Computable functions.(1)
- Fonctions calculables.(1)
- Fonctions récursives.(1)
- Infinity.(1)
- Logic, Symbolic and mathematical.(1)
- Logic.(1)
- Logica.(1)
- Logik(1)
-
11 0 0 0 0Computability and logic.
- 作者: Boolos, George.
- 出版: Cambridge ;New York : Cambridge University Press 2002.
- 資料類型: 電子書