Proof theory
Provability, Computability and Reflection
Main Author: | |
---|---|
Format: | eBook |
Language: | English |
Published: |
Amsterdam
North-Holland Pub. Co.
1975, 1975
|
Series: | Studies in logic and the foundations of mathematics
|
Subjects: | |
Online Access: | |
Collection: | Elsevier eBook collection Mathematics - Collection details see MPG.ReNa |
Summary: | Provability, Computability and Reflection |
---|---|
Item Description: | Based on a series of lectures given at the Symposium on Intuitionism and Proof Theory held at Buffalo in the summer of 1968. - Includes index |
Physical Description: | vii, 372 pages |
ISBN: | 9780080954912 9781283525282 1283525283 008095491X 9786613837738 |