Proof Theory
Springer-Verlag (1977)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | Proof theory | |||||||||
| Categories | ||||||||||
| Buy the book | $577.30 new Amazon page | |||||||||
| Call number | QA9.54.S3813 | |||||||||
| ISBN(s) | 0387079114 | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,672 |
| External links | This entry has no external links. Add one. |
| Through your library | Configure |
Similar books and articlesPeter Milne (2008). Russell's Completeness Proof. History and Philosophy of Logic 29 (1):31-62.
Greg Restall (1998). Displaying and Deciding Substructural Logics 1: Logics with Contraposition. Journal of Philosophical Logic 27 (2):179-216.
Carlo Cellucci (2008). Why Proof? What is a Proof? In Giovanna Corsi & Rossella Lupacchini (eds.), Deduction, Computation, Experiment. Exploring the Effectiveness of Proof, pp. 1-27. Springer.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
