Sets of theorems with short proofs

E-ISSN： 1943-5886|39|2|235-242

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.39, Iss.2, 1974-01, pp. : 235-242

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

Sets and Proofs. (Leeds, 1997)

Bulletin of Symbolic Logic, Vol. 10, Iss. 4, 2004-12 ,pp. : 583-588

Cambridge University Press

Access to resources Recommend Favorite

New proofs of some theorems on infinitely differentiable functions

Bulletin of the Australian Mathematical Society, Vol. 17, Iss. 2, 1977-10 ,pp. : 161-175

Cambridge University Press

Access to resources Recommend Favorite

An informal exposition of proofs of Gödel's theorems and Church's theorem

The Journal of Symbolic Logic, Vol. 4, Iss. 2, 1939-06 ,pp. : 53-60

Cambridge University Press

Access to resources Recommend Favorite

Support theorems for unbounded convex sets

By Banh T.T.

Complex Variables, Vol. 49, Iss. 2, 2004-02 ,pp. : 87-93

Taylor & Francis Ltd

Access to resources Recommend Favorite

New proofs of some theorems on infinitely differentiable functions: Corrigenda

Bulletin of the Australian Mathematical Society, Vol. 19, Iss. 1, 1978-08 ,pp. : 159-160

Cambridge University Press

Access to resources Recommend Favorite