Symbolic and uncertainty : proceedings - Clarke Michael ed.; European Conference on Symbolic and Quantitative Approach to Reasoning and uncertainty( 1993 : Granada ); European Conference on Symbolic and Quantitative Approach to Reasoning and uncertainty Granada, 1993 (Berlin Springer-Verlag, 1993)
Keywords: Mathematical analysis; Mathematical logic