检索条件： Proof theory ( 任意词 )

检索结果共有26条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Proof theory
责任者 G. Takeuti

出版信息 NHPC ,1987

ISBN

馆藏信息

图书信息

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

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

Proof theory

G. Takeuti.NHPC,1987.
2 图书 Structural proof theory /
责任者 Von Plato, Jan.

出版信息 Cambridge University Press, ,2008.

ISBN 9780521068420 (pbk.) :

馆藏信息

图书信息

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

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

Structural proof theory /

Von Plato, Jan..Cambridge University Press,,2008..
3 图书 Basic proof theory /
责任者 Schwichtenberg, Helmut,

出版信息 Cambridge University Press, ,2000.

ISBN 978-0-521-77911-1

馆藏信息

图书信息

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

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

Basic proof theory /

Schwichtenberg, Helmut,.Cambridge University Press,,2000..
4 图书 Logic programming : operational semantics and proof theory /
责任者 James H. Andrews.

出版信息 Cambridge University Press, ,1992.

ISBN 0-521-60754-X

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
James H. Andrews..Logic programming : operational semantics and proof theory /.Cambridge University Press,,1992..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Logic programming : operational semantics and proof theory /

James H. Andrews..Cambridge University Press,,1992..
5 图书 Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings /
责任者 Kahle, Reinhard,,Schroeder-Heister, Peter Joseph,,St鑑rk, Robert F.,

出版信息 Springer, ,2001.

ISBN 3-540-42752-X (softcover : alk. paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Kahle, Reinhard,,Schroeder-Heister, Peter Joseph,,St鑑rk, Robert F.,.Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings /.Springer,,2001..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings /

Kahle, Reinhard,,Schroeder-Heister, Peter Joseph,,St鑑rk, Robert F.,.Springer,,2001..
6 图书 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..
7 图书 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..
8 图书 Proof analysis : a contribution to Hilbert's last problem /
责任者 Von Plato, Jan.

出版信息 Cambridge University Press, ,2014.

ISBN 978-1-107-41723-6

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Von Plato, Jan..Proof analysis : a contribution to Hilbert's last problem /.Cambridge University Press,,2014..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Proof analysis : a contribution to Hilbert's last problem /

Von Plato, Jan..Cambridge University Press,,2014..
9 图书 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..
10 图书 Logic for concurrency and synchronisation /
责任者 Queiroz, Ruy J. G. B. de.

出版信息 Kluwer Academic Publishers, ,c2003.

ISBN 1-4020-1270-5

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Queiroz, Ruy J. G. B. de..Logic for concurrency and synchronisation /.Kluwer Academic Publishers,,c2003..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Logic for concurrency and synchronisation /

Queiroz, Ruy J. G. B. de..Kluwer Academic Publishers,,c2003..

通借成功!

预约成功!