| 紀錄類型: |
書目-電子資源
: Monograph/item
|
| 正題名/作者: |
Structural proof theorySara Negri, Jan von Plato, Appendix by Aarne Ranta. |
| 作者: |
Negri, Sara. |
| 其他作者: |
Ranta, Aarne. |
| 出版者: |
Cambridge :Cambridge University Press,2001. |
| 面頁冊數: |
1 online resource (276 p.) |
| 附註: |
Title from publishers bibliographic system (viewed on 22 Jun 2011). |
| 標題: |
Proof theory. |
| 電子資源: |
Access by subscription |
| ISBN: |
9780511527340 (ebook) |