Introduction: Interpolations—essays in honor of William Craig

Synthese 164 (3):313-319 (2008)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



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

External links

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

Through your library

Analytics

Added to PP
2009-01-28

Downloads
37 (#431,116)

6 months
5 (#639,314)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Paolo Mancosu
University of California, Berkeley

Citations of this work

Diagrams and proofs in analysis.Jessica Carter - 2010 - International Studies in the Philosophy of Science 24 (1):1 – 14.
Proof, Explanation, and Justification in Mathematical Practice.Moti Mizrahi - 2020 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 51 (4):551-568.

View all 6 citations / Add more citations

References found in this work

On axiomatizability within a system.William Craig - 1953 - Journal of Symbolic Logic 18 (1):30-32.
Linear reasoning. A new form of the herbrand-Gentzen theorem.William Craig - 1957 - Journal of Symbolic Logic 22 (3):250-268.
Linear Reasoning. A New Form of the Herbrand-Gentzen Theorem.William Craig - 1959 - Journal of Symbolic Logic 24 (3):243-244.

Add more references