Reading proofs with understanding

Theoria 54 (1):31-47 (1988)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

2008

DOI

10.1111/j.1755-2567.1988.tb00711.x

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

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

Numbers and proofs.Reg Allenby - 1997 - New York: Copublished in North, South, and Central America by John Wiley & Sons.
Probabilistic proofs and transferability.Kenny Easwaran - 2009 - Philosophia Mathematica 17 (3):341-362.
Wittgenstein on the Infinity of Primes.Timm Lampert∗ - 2008 - History and Philosophy of Logic 29 (1):63-81.
Mengzi, strategic language, and the shaping of behavior.Steven F. Geisz - 2008 - Philosophy East and West 58 (2):190-222.
An accompaniment to higher mathematics.George R. Exner - 1997 - New York: Springer.
Reading: Derrida in Hegel's understanding.John Russon - 2006 - Research in Phenomenology 36 (1):181-200.
The role of diagrams in mathematical arguments.David Sherry - 2008 - Foundations of Science 14 (1-2):59-74.
Lower Bounds for cutting planes proofs with small coefficients.Maria Bonet, Toniann Pitassi & Ran Raz - 1997 - Journal of Symbolic Logic 62 (3):708-728.
Reasoning in Listening.Kenneth Olson & Gilbert Plumer - 2003 - In Frans H. van Eemeren, J. Anthony Blair, Charles A. Willard & A. Francisca Snoeck Henkemans (eds.), Proceedings of the Fifth Conference of the International Society for the Study of Argumentation. Amsterdam: Sic Sat. pp. 803-806.
The Depth of Resolution Proofs.Alasdair Urquhart - 2011 - Studia Logica 99 (1-3):349-364.
Understanding Proofs: Meno, 85d9-86c2, Continued.G. E. M. Anscombe - 1979 - Philosophy 54 (208):149 - 158.
The Seinsfrage and the place of the objective in Heidegger's early work.Juan P. Hernandez - unknown
Why do mathematicians re-prove theorems?John W. Dawson Jr - 2006 - Philosophia Mathematica 14 (3):269-286.

Analytics

Added to PP
2010-09-13

Downloads
33 (#459,370)

6 months
2 (#1,157,335)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Logic and Metaphor.James Gasser - 1999 - History and Philosophy of Logic 20 (3-4):227-238.

Add more citations

References found in this work

Introduction to mathematical logic.Alonzo Church - 1944 - Princeton,: Princeton University Press. Edited by C. Truesdell.
Introduction to mathematical logic..Alonzo Church - 1944 - Princeton,: Princeton university press: London, H. Milford, Oxford university press. Edited by C. Truesdell.
Introduction to mathematical logic.Alonso Church - 1958 - Revue de Métaphysique et de Morale 63 (1):118-118.
On the calculus of relations.Alfred Tarski - 1941 - Journal of Symbolic Logic 6 (3):73-89.

View all 10 references / Add more references