Type(s) de contenu et mode(s) de consultation : Texte noté : électronique

Titre(s) : ISILC proof theory symposion [Texte électronique] : dedicated to Kurt Schütte on the occasion of his 65th birthdate (Kiel, 1974) / ed. by J. Diller and G.H. Müller

Publication : Berlin : Springer Verlag, 1975

Description matérielle : 1 online resource (viii, 379 p.)

Collection : Lecture notes in mathematics ; 500

Lien à la collection : Lecture notes in mathematics (Internet)  Voir toutes les notices liées

Note(s) : Proceedings of the International Summer Institute and Logic Colloquim, ISILC, Kiel 1974. - Titel op omslag: Proof theory symposium. - Lit. opg
Text in Engels en Duits.

Autre(s) auteur(s) : Diller, Justus. Fonction indéterminée  Voir les notices liées en tant qu'auteur
Müller, Gert Heinz (1923-2006). Éditeur scientifique  Voir les notices liées en tant qu'auteur
ISILC Proof Theory Symposium (1974 ; Kiel). Fonction indéterminée  Voir les notices liées en tant qu'auteur

Autre(s) forme(s) du titre : 
- Autre forme du titre : Proof theory symposium

Sujet(s) : Théorie de la démonstration  Voir les notices liées en tant que sujet
Mathématiques  Voir les notices liées en tant que sujet
Schütte, Kurt

Indice(s) Dewey :  511.3 (23e éd.) = Logique mathématique  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 9783540380207

Identifiant de la notice  : ark:/12148/cb446883939

Notice n° :  FRBNF44688393 (notice reprise d'un réservoir extérieur)