TY - BOOK AU - Shinoda J Ed. AU - Slaman T A Ed. AU - Tugue J Ed. ED - International conference on mathematical logic and applications TI - Proceeding on mathematical logic and applications T2 - Lecture notes in mathematics; 1388 U1 - B:(R1)p1,N87, M9 PY - 1989/// CY - Berlin PB - Springer Verlag KW - Mathematical logic KW - Mathematics ER -