國立高雄大學圖資館 |

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

46 筆 (0.031s)· 頁 1 of 5 • 1 2 3 4 5

1.

An accompaniment to higher mathematics /

~
Exner, George R.
- An accompaniment to higher mathematics /
- by: Exner, George R.
- 書目-語言資料,印刷品 : Monograph/item
- 語文別: 英文
- 出版者: Springer,
- 出版地: New York :
- 出版年: 1996
- ISBN: 0387946179
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
2.

Conjecture and proof /

~
Laczkovich, Miklos.
- Conjecture and proof /
- by: Laczkovich, Miklos.
- 書目-語言資料,印刷品 : Monograph/item
- 語文別: 英文
- 出版者: Mathematical Association of America,
- 出版地: Washington, DC :
- 出版年: 2001
- ISBN: 0883857227
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
3.

The nuts and bolts of proofsan intro...

~
Cupillari, Antonella.
- The nuts and bolts of proofsan introduction to mathematical proofs /
- by: Cupillari, Antonella.
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Elsevier Academic Press,
- 出版地: Boston :
- 出版年: 2012
- ISBN: 9780123822178
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
4.

Handbook of proof theory

~
Buss, Samuel R.
- Handbook of proof theory
- by: Buss, Samuel R.
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Elsevier,
- 出版地: New York :
- 出版年: 1998
- ISBN: 9780444898401
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
5.

Structural proof theory

~
Negri, Sara.
- Structural proof theory
- by: Negri, Sara.; Ranta, Aarne.; von Plato, Jan.
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Cambridge University Press,
- 出版地: Cambridge :
- 出版年: 2001
- ISBN: 9780511527340; 9780521793070
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
6.

Proofs and fundamentals :a first cou...

~
Bloch, Ethan D., (1956-)
- Proofs and fundamentals :a first course in abstract mathematics /
- by: Bloch, Ethan D., (1956-)
- 書目-語言資料,印刷品 : Monograph/item
- 出版者: Birkhauser,
- 出版地: Boston :
- 出版年: 2000
- ISBN: 0817641114; 3764341114
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
7.

Mathematical analysis and proof

~
Stirling, David S. G., (1947-)
- Mathematical analysis and proof
- by: Stirling, David S. G., (1947-)
- 書目-電子資源 : Monograph/item
- 出版者: Horwood Pub.,
- 出版地: Chichester, UK :
- 出版年: 2009
- ISBN: 9780857099341; 9781904275404
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
8.

An introduction to the language of m...

~
Mynard, Frederic.
- An introduction to the language of mathematics
- by: Mynard, Frederic.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer International Publishing :
- 出版地: Cham :
- 出版年: 2018
- ISBN: 9783030006402; 9783030006419
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
9.

The art of proofbasic training for d...

~
Beck, Matthias.
- The art of proofbasic training for deeper mathematics /
- by: Beck, Matthias.; Geoghegan, Ross.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 出版者: Matthias Beck and Ross Geoghegan,
- 出版地: New York, NY :
- 出版年: 2010
- ISBN: 9781441970220; 9781441970237
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
10.

Utilizing problem structure in plann...

~
Hoffmann, Jorg, (1971-)
- Utilizing problem structure in planninga local search approach /
- by: Hoffmann, Jorg, (1971-); SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 出版者: Springer-Verlag,
- 出版地: New York :
- 出版年: 2003
- ISBN: 9783540202592
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論

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