Suivez-nous sur
Recherche Rechercher sur le site

Sardaigne

ISILC proof theory symposion : dedicated to Kurt Schutte on the occasion of his 65th birthday

International summer institute and logic colloquium <1974

Catégorie

Nature

Titre

ISILC proof theory symposion : dedicated to Kurt Schutte on the occasion of his 65th birthday

Description

ISILC proof theory symposion : dedicated to Kurt Schutte on the occasion of his 65th birthday / edited by J. Diller and G.H. Muller

Description physique

VIII, 383 p. ; 25 cm.

Nombres standard

ISBN: 038707533X, New York
ISBN: 354007533X, Berlin

Date

1975

Place de publication

Berlin [etc.]

Village

GERMANIA

Langue

Un autre titre

Proof theory symposion Kiel 1974.

ID

IT\ICCU\PUV\0109747

Liens de ressources

Biblioteca del Distretto tecnologico – sezione Matematica e informatica

Étiqueter

commentaires

Écrire un commentaire

Envoyer