Foundations of mathematics for the working mathematician

Publisher： Cambridge University Press

E-ISSN： 1943-5886|14|1|1-8

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.14, Iss.1, 1949-05, pp. : 1-8

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

Second-Order Logic and Foundations of Mathematics

By  

Bulletin of Symbolic Logic, Vol. 7, Iss. 4, 2001-12 ,pp. : 504-520

Cambridge University Press

Access to resources Recommend Favorite

Between Russell and Hilbert: Behmann on the Foundations of Mathematics

By  

Bulletin of Symbolic Logic, Vol. 5, Iss. 3, 1999-09 ,pp. : 303-330

Cambridge University Press

Access to resources Recommend Favorite

The Search for Certainty: A Philosophical Account of Foundations of Mathematics

By  

Bulletin of Symbolic Logic, Vol. 10, Iss. 2, 2004-06 ,pp. : 214-216

Cambridge University Press

Access to resources Recommend Favorite

WORKSHOP ON FOUNDATIONS OF MATHEMATICS: UNIVALENT FOUNDATIONS AND SET THEORY (FOMUS 2016) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Bielefeld, Germany July 18–23, 2016

By  

Bulletin of Symbolic Logic, Vol. 23, Iss. 2, 2017-06 ,pp. : 267-268

Cambridge University Press

Access to resources Recommend Favorite

Gödel '96 Logical Foundations of Mathematics, Computer Science and Physics Kurt GÖdel's Legacy

By  

Bulletin of Symbolic Logic, Vol. 2, Iss. 4, 1996-12 ,pp. : 473-473

Cambridge University Press

Access to resources Recommend Favorite