TY  - BOOK
AU  - Martin-Lof P Ed.
AU  -  Mints G Ed.
ED  - International conference on computer logic (1988 : Tallinn)
TI  - Proceeding: Colog-88
T2  - Lecture notes in computer science; 417
U1  - D65,8(B):(R1)p1,N88, N0 
PY  - 1990///
CY  - Berlin
PB  - Springer-Verlag       
KW  - Computer science
ER  -