Axiom systems for first order logic with finitely many variables1

Publisher： Cambridge University Press

E-ISSN： 1943-5886|38|4|576-578

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.38, Iss.4, 1973-12, pp. : 576-578

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

Provability with Finitely Many Variables

By  

Bulletin of Symbolic Logic, Vol. 8, Iss. 3, 2002-09 ,pp. : 348-379

Cambridge University Press

Access to resources Recommend Favorite

Remarks on identity and description in first-order axiom systems

By  

The Journal of Symbolic Logic, Vol. 19, Iss. 1, 1954-03 ,pp. : 14-20

Cambridge University Press

Access to resources Recommend Favorite

REVERSE MATHEMATICS OF FIRST-ORDER THEORIES WITH FINITELY MANY MODELS

By  

The Journal of Symbolic Logic, Vol. 79, Iss. 3, 2014-08 ,pp. : 955-984

Cambridge University Press

Access to resources Recommend Favorite

Small substructures and decidability issues for first-order logic with two variables

By  

The Journal of Symbolic Logic, Vol. 77, Iss. 3, 2012-09 ,pp. : 729-765

Cambridge University Press

Access to resources Recommend Favorite

Axiom schemes for m-valued functional calculi of first order. Part II 1

By  

The Journal of Symbolic Logic, Vol. 16, Iss. 1, 1951-03 ,pp. : 22-34

Cambridge University Press

Access to resources Recommend Favorite