Intuitionism and proof theory Proceedings of the summer conference ; Aug 1968
Main Author: | |
---|---|
Corporate Author: | |
Other Authors: | , |
Format: | eBook |
Language: | English |
Published: |
Amsterdam
North-Holland
1970, 1970
|
Subjects: | |
Online Access: | |
Collection: | Elsevier eBook collection Mathematics - Collection details see MPG.ReNa |
Physical Description: | 516 pages |
---|---|
ISBN: | 9780720422573 |