TY  - BOOK
AU  - Kino, A
AU  - Myhill,J
AU  - Vesley,R E
TI  - Intuitionism and Proof Theory:  Proceedings of the Summer Conference at Buffalo N.Y. 1968
SN  - 0720422574   
U1  - N10 
PY  - 1970///
CY  - London
PB  - North Holland Publishing Company
N1  - includes index and biblioraphy
ER  -