| Record Type: |
Electronic resources
: Monograph/item
|
| Title/Author: |
Structural proof theorySara Negri, Jan von Plato, Appendix by Aarne Ranta. |
| Author: |
Negri, Sara. |
| other author: |
Ranta, Aarne. |
| Published: |
Cambridge :Cambridge University Press,2001. |
| Description: |
1 online resource (276 p.) |
| Notes: |
Title from publishers bibliographic system (viewed on 22 Jun 2011). |
| Subject: |
Proof theory. |
| Online resource: |
Access by subscription |
| ISBN: |
9780511527340 (ebook) |