查詢 text:Proof theory. ，共 25 筆
查詢再細分
-
- 語言
- 英語(25)
-
- 主題
- MATHEMATICS(11)
- Infinity.(4)
- Logic.(4)
- Proof theory.(4)
- COMPUTERS(3)
- Group Theory.(3)
- Essays.(2)
- Logic, Symbolic and mathematical.(2)
- Mathematical models.(2)
- Pre-Calculus.(2)
- More
-
- 館別
- 總圖(3)
-
17 0 0 0 0Math proofs demystified :[a self-teaching guide]
- 作者: Gibilisco, Stan.
- 出版: New York : McGraw-Hill ©2005.
- 資料類型: 電子書
-
1 0 0 0 0
Introduction to Arnold's proof of the Kolmogorov-Arnold-Moser theorem[electronic resource]
- 作者: Feldmeier, Achim.
- 出版: Boca Raton, FL : CRC Press 2023.
- 資料類型: 電子書
-
6 0 0 0 0
The moment of proof :mathematical epiphanies
- 作者: Benson, Donald C.
- 出版: New York : Oxford University Press 1999.
- 資料類型: 電子書
-
3 0 0 0 0
Proof and computation II[electronic resource] :from proof theory and univalent mathematics to program extraction and verification
- 作者: Mainzer, Klaus.
- 出版: Singapore : World Scientific c2022.
- 資料類型: 電子書
-
14 0 0 0 0
Mathematical problems and proofs :combinatorics, number theory, and geometry
- 作者: Kisačanin, Branislav,
- 出版: New York : Kluwer Academic Pub. ©2002.
- 資料類型: 電子書
-
33 0 0 0 0
Logic for concurrency and synchronisation
- 作者: Queiroz, Ruy J. G. B. de,
- 出版: Dordrecht ;Boston : Kluwer Academic Publishers ©2003.
- 資料類型: 電子書
-
1 0 0 0 0
Temporal logic[electronic resource] :from philosophy and proof theory to artificial intelligence and quantum computing
- 作者: Centrone, Stefania.
- 出版: Singapore ;Hackensack, NJ : World Scientific c2023.
- 資料類型: 電子書
-
157 0 0 0 0
Permutation group algorithms
- 作者: Seress, Ákos,
- 出版: New York : Cambridge University Press 2003.
- 資料類型: 電子書
-
38 0 0 0 0
Complex systems and sustainability in the global auditing, consulting, and credit rating agency industries[electronic resource]
- 作者: Nwogugu, Michael C. I.
- 出版: Hershey : IGI Global Publisher of Timely Knowledge 2021.
- 資料類型: 電子書
-
10 0 0 0 0
A tour through graph theory[electronic resource]
- 作者: Saoub, Karin R.
- 出版: Boca Raton, FL : CRC Press c2018.
- 資料類型: 電子書