Methods of cut-elimination
Saved in:
Main Authors: | |
---|---|
Corporate Authors: | |
Group Author: | |
Published: |
Springer,
|
Publisher Address: | Dordrecht |
Publication Dates: | c2011. |
Literature type: | Book |
Language: | English |
Series: |
; v. 34 |
Subjects: | |
Online Access: |
http://dx.doi.org/10.1007/978-94-007-0320-9 |
Carrier Form: | 1 online resource (vi, 287 p.): |
ISBN: |
9789400703209 (electronic bk.) 9400703201 (electronic bk.) |
Index Number: | O141 |
CLC: | O141.2 |
Contents: | Includes bibliographical references (p. 275-281) and index. |