检索条件： Proof theory ( 题名 )

检索结果共有5条

匹配度排行

出版/发布时间

在馆记录

检索筛选

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..

通借成功!

预约成功!