Michael Detlefsen (ed.), Proof, Logic and Formalization. Michael Detlefsen (ed.), Proof and Knowledge in Mathematics [Book Review]

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

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1023/a:1005354429881

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,907

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Michael Detlefsen (ed.), Proof, Logic and Formalization. Michael Detlefsen (ed.), Proof and Knowledge in Mathematics. [REVIEW]Luiz Carlos Pereira - 1997 - Erkenntnis 47 (2):245-254.
Review: Michael Detlefsen, Proof, Logic and Formalization. [REVIEW]Mark Steiner - 1994 - Journal of Symbolic Logic 59 (4):1459-1462.
Review: Michael Detlefsen, Proof, Logic and Formalization. [REVIEW]Mark Steiner - 1993 - Journal of Symbolic Logic 58 (4):1459-1462.
Proof, Logic and Formalization.Michael Detlefsen (ed.) - 1992 - London, England: Routledge.
Michael Detlefsen, ed., "Proof, Logic and Formalization".Brendan Larvor - 1994 - Humana Mente: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.
An operational logic of proofs with positive and negative information.Duccio Luchi & Franco Montagna - 1999 - Studia Logica 63 (1):7-25.
A Simple Formalization And Proof For The Mutilated Chess Board.L. Paulson - 2001 - Logic Journal of the IGPL 9 (3):475-485.
A constructive proof of Craig's interpolation lemma for m-valued logic.Anita Waselewska - 1979 - Studia Logica 38 (3):267 - 275.
On calculational proofs.Vladimir Lifschitz - 2001 - Annals of Pure and Applied Logic 113 (1-3):207-224.
Commentary and Illocutionary Expressions in Linear Calculi of Natural Deduction.Moritz Cordes & Friedrich Reinmuth - 2017 - Logic and Logical Philosophy 26 (2).
How to Say Things with Formalisms.David Auerbach - 1992 - In Michael Detlefsen (ed.), Proof, Logic and Formalization. London, England: Routledge. pp. 77--93.
The impredicativity of induction.Charles Parsons - 1992 - In Michael Detlefsen (ed.), Proof, Logic and Formalization. London, England: Routledge. pp. 139--161.
Basic proof theory.A. S. Troelstra - 1996 - New York: Cambridge University Press. Edited by Helmut Schwichtenberg.

Analytics

Added to PP
2017-02-20

Downloads
20 (#788,979)

6 months
3 (#1,037,581)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

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

Add more citations

References found in this work

No references found.

Add more references