On the interpretation of non-finitist proofs—Part I

By  

The Journal of Symbolic Logic, Vol. 16, Iss. 4, 1951-12 ,pp. : 241-267

Cambridge University Press

Access to resources Recommend Favorite

Proofs of non-deducibility in intuitionistic functional calculus

By  

The Journal of Symbolic Logic, Vol. 13, Iss. 4, 1948-12 ,pp. : 204-207

Cambridge University Press

Access to resources Recommend Favorite

Effective bounds from ineffective proofs in analysis: An application of functional interpretation and majorization

By  

The Journal of Symbolic Logic, Vol. 57, Iss. 4, 1992-12 ,pp. : 1239-1273

Cambridge University Press

Access to resources Recommend Favorite

ON THE APPLICATION OF SPECIAL FUNCTIONS TO NON-LINEAR AND UNSTEADY STABILITY: (PART II) SOLUTION IN TERMS OF BESSEL AND HYPERGEOMETRIC FUNCTIONS

By CAMPOS L.M.B.C.   AZINHEIRA J.R.C.  

Integral Transforms and Special Functions, Vol. 14, Iss. 2, 2003-01 ,pp. : 167-180

Taylor & Francis Ltd

Access to resources Recommend Favorite

A posteriori error estimates for discontinuous Galerkin methods using non-polynomial basis functions. Part II: Eigenvalue problems

By Lin Lin   Stamm Benjamin  

ESAIM: Mathematical Modelling and Numerical Analysis, Vol. 51, Iss. 5, 2017-10 ,pp. : 1733-1753

Edp Sciences

Access to resources Recommend Favorite