On the derivability of instantiation properties

Publisher： Cambridge University Press

E-ISSN： 1943-5886|42|4|506-514

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.42, Iss.4, 1977-12, pp. : 506-514

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

On derivability

By  

The Journal of Symbolic Logic, Vol. 2, Iss. 3, 1937-09 ,pp. : 113-119

Cambridge University Press

Access to resources Recommend Favorite

A note on existential instantiation

By  

The Journal of Symbolic Logic, Vol. 32, Iss. 1, 1967-06 ,pp. : 81-82

Cambridge University Press

Access to resources Recommend Favorite

Redundancies in the Hilbert-Bernays derivability conditions for Gödel's second incompleteness theorem1

By  

The Journal of Symbolic Logic, Vol. 38, Iss. 3, 1973-09 ,pp. : 359-367

Cambridge University Press

Access to resources Recommend Favorite

Nonlinear maps satisfying derivability on standard parabolic subalgebras of finite-dimensional simple Lie algebras

By Chen Zhengxin  

Linear and Multilinear Algebra, Vol. 59, Iss. 3, 2011-03 ,pp. : 261-270

Taylor & Francis Ltd

Access to resources Recommend Favorite

Properties of -Sausages

By Toppur Badri   Smith J. MacGregor  

Discrete & Computational Geometry, Vol. 31, Iss. 4, 2004-03 ,pp. : 587-611

Springer Publishing Company

Access to resources Recommend Favorite