Qal wa-[image omitted]omer and Theory of Massive-Parallel Proofs

ISSN： 1464-5149

Source： History and Philosophy of Logic, Vol.32, Iss.1, 2011-02, pp. : 71-83

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

The independence of the parallel postulate and development of rigorous consistency proofs

By Stump David

History and Philosophy of Logic, Vol. 28, Iss. 1, 2007-02 ,pp. : 19-30

Taylor & Francis Ltd

Access to resources Recommend Favorite

Avicenna and [image omitted]usī on Modal Logic

By Lagerlund Henrik

History and Philosophy of Logic, Vol. 30, Iss. 3, 2009-08 ,pp. : 227-239

Taylor & Francis Ltd

Access to resources Recommend Favorite

Mathematical Proofs

By Panza M.

Synthese, Vol. 134, Iss. 1-2, 2003-01 ,pp. : 119-158

Springer Publishing Company

Access to resources Recommend Favorite

Proofs and Programs

By Longo G.

Synthese, Vol. 134, Iss. 1-2, 2003-01 ,pp. : 85-117

Springer Publishing Company

Access to resources Recommend Favorite

Socratic Proofs

By Wiśniewski Andrzej

Journal of Philosophical Logic, Vol. 33, Iss. 3, 2004-06 ,pp. : 299-326

Springer Publishing Company

Access to resources Recommend Favorite