Publisher： Cambridge University Press
E-ISSN： 2056-6328|99|544|33-39
ISSN： 0025-5572
Source： The Mathematical Gazette, Vol.99, Iss.544, 2015-03, pp. : 33-39
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Related content
Review of Symbolic Logic, Vol. 10, Iss. 1, 2016-11 ,pp. :
Access to resources
Recommend
Extensions of arithmetic for proving termination of computations
The Journal of Symbolic Logic, Vol. 54, Iss. 3, 1989-09 ,pp. :
Proving Polynomial Riemann Hypotheses through Eigenfunctions
By Redmond T.
Linear and Multilinear Algebra, Vol. 50, Iss. 1, 2002-03 ,pp. :
The convexity method of proving moment-type inequalities
Statistics and Probability Letters, Vol. 66, Iss. 3, 2004-02 ,pp. :
Proving consistency of equational theories in bounded arithmetic
The Journal of Symbolic Logic, Vol. 67, Iss. 1, 2002-03 ,pp. :