TY - BOOK AU - Di prisco C A Ed. ED - Symposium on methods in mathematical logic (1983 : Venezuela Caracas) TI - Proceeding on methods in mathematical logic T2 - Lecture notes in mathematics; 1130 U1 - B:(R1)p1,N83, M5 PY - 1985/// CY - Berlin PB - Springer-Verlag KW - Statistics ER -