Provability, Computability and Reflection

· Studies in Logic and the Foundations of Mathematics 第 19 冊 · Elsevier
電子書
132
頁數
符合資格

關於這本電子書

Provability, Computability and Reflection
Provability, Computability and Reflection

探索更多

為這本電子書評分

請分享你的寶貴意見。

閱讀資訊

智能手機和平板電腦
請安裝 Android 版和 iPad/iPhone 版「Google Play 圖書」應用程式。這個應用程式會自動與你的帳戶保持同步，讓你隨時隨地上網或離線閱讀。
手提電腦和電腦
你可以使用電腦的網絡瀏覽器聆聽在 Google Play 上購買的有聲書。
電子書閱讀器及其他裝置
如要在 Kobo 等電子墨水裝置上閱覽書籍，你需要下載檔案並傳輸到你的裝置。請按照說明中心的詳細指示，將檔案傳輸到支援的電子書閱讀器。
舉報不當內容

繼續閱讀此系列

Provability, Computability and Reflection
Lev D. Beklemishev
第 20 冊•Computers & technology
US$275.00US$220.00
Axiomatic Set Theory
Lev D. Beklemishev
第 21 冊•Computers & technology
US$275.00US$220.00
Provability, Computability and Reflection
Lev D. Beklemishev
第 23 冊•Computers & technology
US$275.00US$220.00
Provability, Computability and Reflection
Lev D. Beklemishev
第 24 冊•Computers & technology
US$275.00US$220.00

更多Lev D. Beklemishev的著作

Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968
Lev D. Beklemishev
第 60 冊•Computers & technology
US$275.00US$220.00
Provability, Computability and Reflection
Lev D. Beklemishev
第 13 冊•Computers & technology
US$275.00US$220.00
Elements of Mathematical Logic
Lev D. Beklemishev
第 48 冊•Computers & technology
US$275.00US$220.00
Sets, Models and Recursion Theory
Lev D. Beklemishev
第 46 冊•Computers & technology
US$275.00US$220.00

同類型電子書

Provability, Computability and Reflection
Lev D. Beklemishev
第 20 冊•Computers & technology
US$275.00US$220.00
Recursive Model Theory
Y.L. Ershov
第 1 冊•Computers & technology
US$195.00US$156.00
Foundational Studies
Lev D. Beklemishev
Computers & technology
US$275.00US$220.00
The Age of Surveillance Capitalism: The Fight for a Human Future at the New Frontier of Power
Shoshana Zuboff
Business & investing
3.7
US$17.99