TY  - BOOK
AU  - Martin-Lof P
ED  - International Conference on Computer Logic( 1988 : Tallinn )
ED  - International Conference on Computer Logic
TI  - COLOG-88 : proceedings
SN  - 3-540-52335-9
U1  - 5.13 
PY  - 1990///
CY  - Berlin
PB  - Springer Verlag
KW  - Computer logic
KW  - Computer science
ER  -