Type(s) de contenu et mode(s) de consultation : Texte noté : sans médiation

Auteur(s) : Leeds proof theory programme (1990)  Voir les notices liées en tant qu'auteur

Titre(s) : Proof theory [Texte imprimé] : a selection of papers from the leeds proof theory programme 1990 / ed. by Peter Aczel,... Harold Simmons,... and Stanley S. Wainer,...

Publication : Cambridge : Cambridge university press, 1992

Description matérielle : X-306 p. ; 24 cm

Note(s) : Bibliogr. à la fin de chaque chap.

Autre(s) auteur(s) : Aczel, Peter (1941-....). Éditeur scientifique  Voir les notices liées en tant qu'auteur
Simmons, Harold. Éditeur scientifique  Voir les notices liées en tant qu'auteur
Wainer, Stanley S.. Éditeur scientifique  Voir les notices liées en tant qu'auteur

Sujet(s) : Théorie de la démonstration  Voir les notices liées en tant que sujet

Genre ou forme : Actes de congrès  Voir les notices liées en tant que genre ou forme

Indice(s) Dewey :  511.36 (23e éd.) = Théorie de la preuve et mathématiques constructives  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 0-521-41413-X

Identifiant de la notice  : ark:/12148/cb37399804g

Notice n° :  FRBNF37399804