Address at the Princeton University Bicentennial Conference on Problems of Mathematics (December 17–19, 1946), By Alfred Tarski

Publisher： Cambridge University Press

E-ISSN： 1943-5894|6|1|1-44

ISSN： 1079-8986

Source： Bulletin of Symbolic Logic, Vol.6, Iss.1, 2000-03, pp. : 1-44

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 Formalism Freeness: Implementing Gödel's 1946 Princeton Bicentennial Lecture

By  

Bulletin of Symbolic Logic, Vol. 19, Iss. 3, 2013-09 ,pp. : 351-393

Cambridge University Press

Access to resources Recommend Favorite

Alfred Tarski

By  

The Journal of Symbolic Logic, Vol. 51, Iss. 4, 1986-12 ,pp. : 866-868

Cambridge University Press

Access to resources Recommend Favorite

Alfred Tarski and decidable theories

By  

The Journal of Symbolic Logic, Vol. 53, Iss. 1, 1988-03 ,pp. : 20-35

Cambridge University Press

Access to resources Recommend Favorite

Alfred Tarski and undecidable theories

By  

The Journal of Symbolic Logic, Vol. 51, Iss. 4, 1986-12 ,pp. : 890-898

Cambridge University Press

Access to resources Recommend Favorite

Bibliography of Alfred Tarski

By  

The Journal of Symbolic Logic, Vol. 51, Iss. 4, 1986-12 ,pp. : 913-941

Cambridge University Press

Access to resources Recommend Favorite