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

, & (eds.)
New York: Springer Verlag (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Call number

QA9.54.L28 no. 500

ISBN(s)

038707533X

Links

PhilArchive



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

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

Proof theory.K. Schütte - 1977 - New York: Springer Verlag.
Proof theory of modal logic.Heinrich Wansing (ed.) - 1996 - Boston: Kluwer Academic Publishers.
Proof theory: a selection of papers from the Leeds Proof Theory Programme, 1990.Peter Aczel, Harold Simmons & Stanley S. Wainer (eds.) - 1992 - New York: Cambridge University Press.
Algebra and logic: papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia.John N. Crossley (ed.) - 1975 - New York: Springer Verlag.
The proof theory of classical and constructive inductive definitions. A 40 year saga, 1968-2008.Solomon Feferman - unknown
Patras Logic Symposion: proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980.George Metakides (ed.) - 1982 - New York, N.Y.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co..
ISILC Logic Conference: proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974.Gert Heinz Müller, Arnold Oberschelp & Karl Potthoff (eds.) - 1975 - New York: Springer Verlag.

Analytics

Added to PP
2009-01-28

Downloads
6 (#1,377,938)

6 months
4 (#657,928)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references