Intuitionism and proof theory : proceedings of the summer conference at Buffalo, N.Y., 1968
edited by A. Kino, J. Myhill, R.E. Vesley
Bok Engelsk 1970 Conference on Intuitionism and Proof Theory
| Utgitt | Amsterdam : North-Holland , 1970
|
|---|---|
| Omfang | VIII, 516 s.
|
| Emner |
