Isilc Proof Theory Symposion: Dedicated to Kurt Schütte on the Occasion of His 65th Birthday: Proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974
Springer-Verlag (1975)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | Proof theory Congresses | |||||||||
| Categories | ||||||||||
| Buy the book | $72.00 used Amazon page | |||||||||
| Call number | QA9.54.L28 no. 500 | |||||||||
| ISBN(s) | 038707533X | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,705 |
| External links | This entry has no external links. Add one. |
| Through your library | Configure |
Similar books and articlesK. Schütte (1977). Proof Theory. Springer-Verlag.
George Metakides (ed.) (1982). Patras Logic Symposion: Proceedings of the Logic Symposion Held at Patras, Greece, August 18-22, 1980. Sole Distributors for the U.S.A. And Canada, Elsevier Science Pub. Co..
Costas Dimitracopoulos (ed.) (2008). Logic Colloquium 2005: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, Held in Athens, Greece, July 28-August 3, 2005. [REVIEW] Cambridge University Press.
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
