λμ-calculus and Böhm's theorem

Publisher： Cambridge University Press

E-ISSN： 1943-5886|66|1|407-413

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.66, Iss.1, 2001-03, pp. : 407-413

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

The separation theorem of intuitionist propositional calculus 1

By  

The Journal of Symbolic Logic, Vol. 27, Iss. 4, 1962-12 ,pp. : 391-399

Cambridge University Press

Access to resources Recommend Favorite

95.10 The fundamental theorem of calculus implies that of algebra

By  

The Mathematical Gazette, Vol. 95, Iss. 532, 2011-03 ,pp. : 88-89

Cambridge University Press

Access to resources Recommend Favorite

The deduction theorem in a functional calculus of first order based on strict implication

By  

The Journal of Symbolic Logic, Vol. 11, Iss. 4, 1946-12 ,pp. : 115-118

Cambridge University Press

Access to resources Recommend Favorite

94.19 A calculus-based approach to the von Staudt-Clausen theorem

By  

The Mathematical Gazette, Vol. 94, Iss. 530, 2010-07 ,pp. : 308-312

Cambridge University Press

Access to resources Recommend Favorite

Nonconvex Separation Theorem for Multifunctions, Subdifferential Calculus and Applications: Variational Analysis and Its Applications

By Zhu Q. J.  

Set-Valued Analysis, Vol. 12, Iss. 1-2, 2004-03 ,pp. : 275-290

Springer Publishing Company

Access to resources Recommend Favorite