TY  - BOOK
AU  - Richter M M Ed.
ED  - Colloquium on conputation and proof theory (1983 : Aachen)
TI  - Proceeding on computation and proof theory
T2  - Lecture notes in mathematics; 1104
U1  - B:(R1)p1,N83, M4 
PY  - 1984///
CY  - Berlin
PB  - Springer Verlag      
KW  - Statistics
ER  -