Handbook of proof theory
Saved in:
Group Author: | |
---|---|
Published: |
Elsevier,
|
Publisher Address: | Amsterdam |
Publication Dates: | 1998. |
Literature type: | Book |
Language: | English |
Series: |
Studies in logic and the foundations of mathematics ; v. 137 |
Subjects: | |
Carrier Form: | 811 p.: ; 23 cm. |
ISBN: | 0444898409 (alk. paper) |
Index Number: | O141 |
CLC: | O141.2-62 |
Call Number: | O141.2-62/H236 |
Contents: | Includes bibliographical references and indexes. |