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

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

Enregistré dans:
Détails bibliographiques
Auteur principal : ISILC Proof Theory Symposion
Collectivités auteurs : ISILC Proof Theory Symposion University of Kiel 1974 (Auteur), International Summer Institute and Logic Colloquium 1974 Kiel
Autres auteurs : Diller Justus (Éditeur scientifique), Müller Gert Heinz (Éditeur scientifique)
Format : Livre
Langue : anglais
allemand
Titre complet : 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 / edited by J. Diller and G. H. Müller
Publié : Berlin, New York : Springer , 1975
Description matérielle : 1 vol. (VIII-383 p.)
Collection : Lecture notes in mathematics ; 500
Titre conventionnel : Mélanges. Schütte. Kurt
Sujets :
Théorie de la démonstration > Actes de congrès
Chargement en cours