國立高雄大學圖資館 |

Search result for [ subject:"Proof theory"]

11 records (0.036s)· Page 1 of 2 • 1 2

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-)
- Language materials, printed : Monograph/item
- Publisher: Pearson/Addison Wesley,
- Place of Publication: Boston :
- Year of Publication: 2008
- ISBN: 0321390539; 9780321390530
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
2.

Introduction to mathematical proofs ...

~
Roberts, Charles E., (1942-)
- Introduction to mathematical proofs :a transition /
- by: Roberts, Charles E., (1942-)
- Language materials, printed : Monograph/item
- Language: 英文
- Publisher: CRC Press,
- Place of Publication: Boca Raton :
- Year of Publication: 2010
- ISBN: 1420069551; 9781420069556
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
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)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Springer Netherlands,
- Place of Publication: Dordrecht :
- Year of Publication: 2012
- ISBN: 9789400721289; 9789400721296
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
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-)
- Electronic resources : Monograph/item
- Publisher: John Wiley & Sons,
- Place of Publication: Hoboken, NJ :
- Year of Publication: 2017
- ISBN: 1119314739; 1119314747; 1119314763; 9781119314738; 9781119314745; 9781119314769
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
5.

Advances in proof theory

~
Kahle, Reinhard.
- Advances in proof theory
- by: Kahle, Reinhard.; SpringerLink (Online service); Strahm, Thomas.; Studer, Thomas.
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Birkhauser,; Springer International Publishing :
- Place of Publication: Cham :
- Year of Publication: 2016
- ISBN: 9783319291963; 9783319291987
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
6.
- New directions for mathematics education research on provinghonoring the legacy of John and Annie Selden /
- by: Savić, Miloš.; Selden, Annie.; Selden, John.; SpringerLink (Online service); Weber, Keith.
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer Nature Switzerland :
- Place of Publication: Cham :
- Year of Publication: 2025
- ISBN: 9783031850035; 9783031850042
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
7.

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)
- Electronic resources : Monograph/item
- Publisher: Springer Science+Business Media, LLC,
- Place of Publication: New York, NY :
- Year of Publication: 2011
- ISBN: 9780387487441; 9780387489087
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
8.

A proof theory for description logics

~
Rademaker, Alexandre.
- A proof theory for description logics
- by: Rademaker, Alexandre.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Springer London,
- Place of Publication: London :
- Year of Publication: 2012
- ISBN: 9781447140016; 9781447140023
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
9.

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.
- Electronic resources : Monograph/item
- Publisher: Springer-Verlag GmbH.,
- Place of Publication: Berlin Heidelberg :
- Year of Publication: 2006
- ISBN: 9783540307044; 9783540328889
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
10.

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.
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer International Publishing :
- Place of Publication: Cham :
- Year of Publication: 2018
- ISBN: 9783319709956; 9783319709963
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)

Bibliographic level:
Material type:
Only with items