Jordan Journal of Mathematics and Statistics (JJMS) 3(3), 2010, ppAN EXTENSION OF MULHOLLAND’S INEQUALITY BICHENG YANG Abstract. By introducing multi-parameters and using the way of weight coefficients and

First Page		Document Content
Date: 2012-02-24 11:21:41 Logic Computability theory Curry–Howard correspondence Logic in computer science Philosophy of computer science Type theory Symbol Mathematical logic Mathematics Proof theory		Jordan Journal of Mathematics and Statistics (JJMS) 3(3), 2010, ppAN EXTENSION OF MULHOLLAND’S INEQUALITY BICHENG YANG Abstract. By introducing multi-parameters and using the way of weight coefficients and Add to Reading List Source URL: journals.yu.edu.jo Download Document from Source Website File Size: 161,60 KB Share Document on Facebook