Calculating self-referential statements: Guaspari sentences of the first kind

Publisher： Cambridge University Press

E-ISSN： 1943-5886|46|2|329-344

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.46, Iss.2, 1981-06, pp. : 329-344

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

Extending the first-order theory of combinators with self-referential truth

By  

The Journal of Symbolic Logic, Vol. 58, Iss. 2, 1993-06 ,pp. : 477-513

Cambridge University Press

Access to resources Recommend Favorite

On the consistency of self-referential systems

By  

The Journal of Symbolic Logic, Vol. 52, Iss. 2, 1987-06 ,pp. : 425-436

Cambridge University Press

Access to resources Recommend Favorite

A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points

By  

Bulletin of Symbolic Logic, Vol. 9, Iss. 3, 2003-09 ,pp. : 362-386

Cambridge University Press

Access to resources Recommend Favorite

On first-order sentences without finite models

By  

The Journal of Symbolic Logic, Vol. 69, Iss. 2, 2004-06 ,pp. : 329-339

Cambridge University Press

Access to resources Recommend Favorite

Relations between Mathieu functions of the first and second kind

By Malits Pinchas  

Integral Transforms and Special Functions, Vol. 21, Iss. 6, 2010-06 ,pp. : 423-436

Taylor & Francis Ltd

Access to resources Recommend Favorite