Erkenntnis 47 (2):245-254 (1997)

Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories No categories specified
(categorize this paper)
DOI 10.1023/A:1005354429881
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 52,704
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Mathematical Inference and Logical Inference.Yacin Hamami - 2018 - Review of Symbolic Logic 11 (4):665-704.

Add more citations

Similar books and articles

Michael Detlefsen, Ed., "Proof, Logic and Formalization".Brendan Larvor - 1994 - International Journal of Philosophical Studies:149.
Limitations of Formalization.Constantine Politis - 1965 - Philosophy of Science 32 (3/4):356-360.
M. DETLEFSEN "Proof, Logic and Formalization". [REVIEW]G. Heinzmann - 1994 - History and Philosophy of Logic 15 (1):138.
A Simple Formalization And Proof For The Mutilated Chess Board.L. Paulson - 2001 - Logic Journal of the IGPL 9 (3):475-485.
On Calculational Proofs.Vladimir Lifschitz - 2001 - Annals of Pure and Applied Logic 113 (1-3):207-224.
How to Say Things with Formalisms.David Auerbach - 1992 - In Michael Detlefsen (ed.), Proof, Logic, and Formalization. Routledge. pp. 77--93.
The Impredicativity of Induction.Charles Parsons - 1992 - In Michael Detlefsen (ed.), Proof, Logic, and Formalization. Routledge. pp. 139--161.
Basic Proof Theory.A. S. Troelstra - 2000 - Cambridge University Press.


Added to PP index

Total views
9 ( #858,491 of 2,340,056 )

Recent downloads (6 months)
1 ( #516,585 of 2,340,056 )

How can I increase my downloads?


My notes