Michael Detlefsen (ed.), Proof, Logic and Formalization. Michael Detlefsen (ed.), Proof and Knowledge in Mathematics

ISSN： 0165-0106

Source： Erkenntnis, Vol.47, Iss.2, 1997-09, pp. : 245-254

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

Proof and the Evolution of Mathematics

By Jaffe A.

Synthese, Vol. 111, Iss. 2, 1997-05 ,pp. : 133-146

Springer Publishing Company

Access to resources Recommend Favorite

Proof Analysis in Modal Logic

By Negri Sara

Journal of Philosophical Logic, Vol. 34, Iss. 5-6, 2005-10 ,pp. : 507-544

Springer Publishing Company

Access to resources Recommend Favorite

A Proof System for Classical Logic

By Pogorzelski Witold Wojtylak Piotr

Studia Logica, Vol. 80, Iss. 1, 2005-06 ,pp. : 95-104

Springer Publishing Company

Access to resources Recommend Favorite

Computational Approaches to Language Acquisition, Michael R. Brent, ed.

By Kanazawa Makoto

Journal of Logic, Language and Information, Vol. 13, Iss. 3, 2004-22 ,pp. : 377-379

Springer Publishing Company

Access to resources Recommend Favorite

Proof Checking and Knowledge by Intellection

Philosophical Studies, Vol. 92, Iss. 1-2, 1998-10 ,pp. : 85-112

Springer Publishing Company

Access to resources Recommend Favorite