Author: Dunham Nancy Birmingham Robert
Publisher: Routledge Ltd
ISSN: 0004-8402
Source: Australasian Journal of Philosophy, Vol.67, Iss.4, 1989-12, pp. : 479-486
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Related content
A Proof-theoretic View of Necessity
Synthese, Vol. 148, Iss. 3, 2006-02 ,pp. :
Theories and Ordinals in Proof Theory
Synthese, Vol. 148, Iss. 3, 2006-02 ,pp. :
Dialogue Systems as Proof Editors
Journal of Logic, Language and Information, Vol. 13, Iss. 2, 2004-21 ,pp. :
By Otte Michael
Foundations of Science, Vol. 11, Iss. 1-2, 2006-03 ,pp. :