國立高雄大學圖資館 |

查詢結果 [ subject:"Proof theory"]

10 筆 (0.025s)· 頁 1 of 1 • 1

1.

Mathematical proofs :a transition to...

~
Chartrand, Gary.
- Mathematical proofs :a transition to advanced mathematics /
- by: Chartrand, Gary.; Polimeni, Albert D., (1938-); Zhang, Ping, (1957-)
- 書目-語言資料,印刷品 : Monograph/item
- 出版者: Pearson/Addison Wesley,
- 出版地: Boston :
- 出版年: 2008
- ISBN: 0321390539; 9780321390530
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
2.

Introduction to mathematical proofs ...

~
Roberts, Charles E., (1942-)
- Introduction to mathematical proofs :a transition /
- by: Roberts, Charles E., (1942-)
- 書目-語言資料,印刷品 : Monograph/item
- 語文別: 英文
- 出版者: CRC Press,
- 出版地: Boca Raton :
- 出版年: 2010
- ISBN: 1420069551; 9781420069556
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
3.

Proof and proving in mathematics edu...

~
De Villiers, Michael.
- Proof and proving in mathematics educationthe 19th ICMI study /
- by: De Villiers, Michael.; Hanna, Gila.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Springer Netherlands,
- 出版地: Dordrecht :
- 出版年: 2012
- ISBN: 9789400721289; 9789400721296
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
4.

An introduction to proof through rea...

~
Aubrey, Jason A., (1975-)
- An introduction to proof through real analysis
- by: Aubrey, Jason A., (1975-); Madden, Daniel J., (1948-)
- 書目-電子資源 : Monograph/item
- 出版者: John Wiley & Sons,
- 出版地: Hoboken, NJ :
- 出版年: 2017
- ISBN: 1119314739; 1119314747; 1119314763; 9781119314738; 9781119314745; 9781119314769
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
5.

Advances in proof theory

~
Kahle, Reinhard.
- Advances in proof theory
- by: Kahle, Reinhard.; SpringerLink (Online service); Strahm, Thomas.; Studer, Thomas.
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Birkhauser,; Springer International Publishing :
- 出版地: Cham :
- 出版年: 2016
- ISBN: 9783319291963; 9783319291987
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
6.

The proof is in the puddingthe chang...

~
Krantz, Steven G.
- The proof is in the puddingthe changing nature of mathematical proof /
- by: Krantz, Steven G.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 出版者: Springer Science+Business Media, LLC,
- 出版地: New York, NY :
- 出版年: 2011
- ISBN: 9780387487441; 9780387489087
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
7.

A proof theory for description logics

~
Rademaker, Alexandre.
- A proof theory for description logics
- by: Rademaker, Alexandre.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Springer London,
- 出版地: London :
- 出版年: 2012
- ISBN: 9781447140016; 9781447140023
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
8.

The Seventeen Provers of the WorldFo...

~
SpringerLink (Online service)
- The Seventeen Provers of the WorldForeword by Dana S. Scott /
- by: SpringerLink (Online service); Wiedijk, Freek.
- 書目-電子資源 : Monograph/item
- 出版者: Springer-Verlag GmbH.,
- 出版地: Berlin Heidelberg :
- 出版年: 2006
- ISBN: 9783540307044; 9783540328889
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
9.

Advances in mathematics education re...

~
Harel, Guershon.
- Advances in mathematics education research on proof and provingan international perspective /
- by: Harel, Guershon.; SpringerLink (Online service); Stylianides, Andreas J.
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer International Publishing :
- 出版地: Cham :
- 出版年: 2018
- ISBN: 9783319709956; 9783319709963
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
10.

Proof technology in mathematics rese...

~
De Villiers, Michael.
- Proof technology in mathematics research and teaching
- by: De Villiers, Michael.; Hanna, Gila.; Reid, David A.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer International Publishing :
- 出版地: Cham :
- 出版年: 2019
- ISBN: 9783030284824; 9783030284831
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論

書目性質:
資料類型:
查找有館藏的資料