Proof theory
Saved in:
Main Authors: | |
---|---|
Published: |
Elsevier Science Pub. Co.,
|
Publisher Address: | Amsterdam |
Publication Dates: | 1987. |
Literature type: | Book |
Language: | English |
Edition: | 2nd ed. |
Series: |
Studies in logic and the foundations of mathematics ; v. 81 |
Subjects: | |
Carrier Form: | x, 490 p.: ; 23 cm. |
ISBN: | 0444879439 (U.S.) |
Index Number: | O141 |
CLC: | O141.2-53 |
Call Number: | O141.2-53/P965/2nd ed./ |
Contents: |
Based on a series of lectures given at the Symposium on Intuitionism and Proof Theory held at Buffalo, 1968. Includes index. Bibliography: p. 481-485. |