![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Publisher: Cambridge University Press
E-ISSN: 2056-6328|94|530|308-312
ISSN: 0025-5572
Source: The Mathematical Gazette, Vol.94, Iss.530, 2010-07, pp. : 308-312
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
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
λμ-calculus and Böhm's theorem
The Journal of Symbolic Logic, Vol. 66, Iss. 1, 2001-03 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
The separation theorem of intuitionist propositional calculus
The Journal of Symbolic Logic, Vol. 27, Iss. 4, 1962-12 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
95.10 The fundamental theorem of calculus implies that of algebra
The Mathematical Gazette, Vol. 95, Iss. 532, 2011-03 ,pp. :