Date: 2012-02-24 11:21:41Logic 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 andAdd to Reading ListSource URL: journals.yu.edu.joDownload Document from Source Website File Size: 161,60 KBShare Document on Facebook
|