检索条件： Sets and proofs : ( 题名 )

检索结果共有112条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 /
责任者 Cooper, S. B.,Truss, J. K.

出版信息 Cambridge University Press, ,1999.

ISBN 978-0-5216-3549-3

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Cooper, S. B.,Truss, J. K..Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 /.Cambridge University Press,,1999..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/472313
复制引文到剪贴板

Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 /

Cooper, S. B.,Truss, J. K..Cambridge University Press,,1999..
2 图书 Logical foundations of proof complexity /
责任者 Nguyen, Phuong.

出版信息 Cambridge University Press, ,2014.

ISBN 978-1-107-69411-8

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Nguyen, Phuong..Logical foundations of proof complexity /.Cambridge University Press,,2014..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/473065
复制引文到剪贴板

Logical foundations of proof complexity /

Nguyen, Phuong..Cambridge University Press,,2014..
3 图书 Mathematical reasoning : writing and proof /
责任者 Ted Sundstrom.

出版信息 Prentice Hall, ,c2003.

ISBN 0-13-061815-2

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Ted Sundstrom..Mathematical reasoning : writing and proof /.Prentice Hall,,c2003..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/151958
复制引文到剪贴板

Mathematical reasoning : writing and proof /

Ted Sundstrom..Prentice Hall,,c2003..
4 图书 Proof and other dilemmas : mathematics and philosophy /
责任者 Gold, Bonnie,,Simons, Roger A.

出版信息 Mathematical Association of America, ,c2008.

ISBN 9780883855676

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Gold, Bonnie,,Simons, Roger A..Proof and other dilemmas : mathematics and philosophy /.Mathematical Association of America,,c2008..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/322118
复制引文到剪贴板

Proof and other dilemmas : mathematics and philosophy /

Gold, Bonnie,,Simons, Roger A..Mathematical Association of America,,c2008..
5 图书 compositionality, concurrency and partial correctness：proof theories for networks of processes, and their relationship
责任者 J. Zyiers

出版信息 Springer-Verlag ,1989

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
J. Zyiers.compositionality, concurrency and partial correctness：proof theories for networks of processes, and their relationship.Springer-Verlag,1989.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/23853
复制引文到剪贴板

compositionality, concurrency and partial correctness：proof theories for networks of processes, and their relationship

J. Zyiers.Springer-Verlag,1989.
6 图书 How to read and do proofs : an introduction to mathematical thought processes /
责任者 Daniel Solow.

出版信息

ISBN 9781118164020 (paper) :

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Daniel Solow..How to read and do proofs : an introduction to mathematical thought processes /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/526480
复制引文到剪贴板

How to read and do proofs : an introduction to mathematical thought processes /

Daniel Solow..,.
7 图书 Proofs and computations /
责任者 Wainer, S. S.

出版信息 Cambridge University Press, ,c2012.

ISBN 9780521517690

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Wainer, S. S..Proofs and computations /.Cambridge University Press,,c2012..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/411189
复制引文到剪贴板

Proofs and computations /

Wainer, S. S..Cambridge University Press,,c2012..
8 图书 Proof patterns /
责任者 Mark Joshi.

出版信息

ISBN 9783319162492

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Mark Joshi..Proof patterns /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/528059
复制引文到剪贴板

Proof patterns /

Mark Joshi..,.
9 图书 Forcing with random variables and proof complexity /
责任者 Jan Kraj鈏閏ek.

出版信息 Cambridge University Press, ,2011.

ISBN 9780521154338 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Jan Kraj鈏閏ek..Forcing with random variables and proof complexity /.Cambridge University Press,,2011..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/332666
复制引文到剪贴板

Forcing with random variables and proof complexity /

Jan Kraj鈏閏ek..Cambridge University Press,,2011..
10 图书 A theory of generalized Donaldson-Thomas invariants /
责任者 Song, Yinan,

出版信息 American Mathematical Society, ,c2011.

ISBN 9780821852798 (alk. paper) :

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Song, Yinan,.A theory of generalized Donaldson-Thomas invariants /.American Mathematical Society,,c2011..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/473749
复制引文到剪贴板

A theory of generalized Donaldson-Thomas invariants /

Song, Yinan,.American Mathematical Society,,c2011..

通借成功!

预约成功!