Author: Plato J.V.
Publisher: Springer Publishing Company
ISSN: 0039-7857
Source: Synthese, Vol.110, Iss.1, 1997-01, pp. : 127-141
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Criteria for logical formalization
By Peregrin Jaroslav Svoboda Vladimír
Synthese, Vol. 190, Iss. 14, 2013-09 ,pp. :
On the Formalization of the Periodic Table
Poznan Studies in the Philosophy of the Sciences and the Humanities, Vol. 84, Iss. 1, 2005-11 ,pp. :
Formalization, Syntax and the Standard Model of Arithmetic
Synthese, Vol. 154, Iss. 2, 2007-01 ,pp. :