Intuitionism and proof theory : proceedings of the summer conference at Buffalo, N.Y., 1968 / edited by A. Kino, J. Myhill and R. E. Vesley.
| Title | Intuitionism and proof theory : proceedings of the summer conference at Buffalo, N.Y., 1968 / edited by A. Kino, J. Myhill and R. E. Vesley. |
|---|---|
| Publication Date: | 1970 |
| Publication Place | Amsterdam - North-Holland Pub. Co., 1970. |
| Subject | Intuitionistic mathematics -- Congresses. |
| Type | Book |
| Language | Arabic |
| Digital | No |
| Manuscript | No |
| Pages Count | 516 |
| Physical Dimensions | 23 cm |
| Library: | The Institute for Advanced Study (IAS) |
| Record ID | 3100001~!87810~!3470 |
| Library Location | Math Stacks |
| Date | 1970 |
| Notes | Includes bibliographical references.. viii, 516 p. ; 23 cm. |
| Seri | Studies in logic and the foundations of mathematics |
