TY  - BOOK
AU  - Kino A Ed.
AU  -  Myhill J Ed.
TI  - Intuitionism and proof theory : Proceedings of the summer conference at buffalo N.Y.1968
T2  - Studies in logic and the foundations of mathematics
U1  - R14, L0 
PY  - 1970///
CY  - London
PB  - North Holland Publishing        
ER  -