Articles liés à Proof Theory: A selection of papers from the Leeds...

Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990 - Couverture rigide

 
9780521414135: Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
Couverture rigide
ISBN 10 : 052141413X ISBN 13 : 9780521414135
Editeur : Cambridge University Press, 1993

Synopsis

The lecture courses in this work are derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory held at Leeds University. The contributions come from acknowledged experts and comprise expository and research articles; put together in this book they form an invaluable introduction to proof theory that is aimed at both mathematicians and computer scientists.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

The lecture courses in this work are derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory held at Leeds University. The contributions come from acknowledged experts and comprise expository and research articles; put together in this book they form an invaluable introduction to proof theory that is aimed at both mathematicians and computer scientists.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Cambridge University Press
Date d'édition
1993
Langue
anglais
ISBN 10 
052141413X
ISBN 13 
9780521414135
Reliure
Relié
Nombre de pages
320
Éditeur
Aczel Peter, Simmons Harold, Wainer Stanley S.
Coordonnées du fabricant
non disponible
Personne responsable
Avery
https://www.avery.fr/

chemin des peupliers 27
Dardilly
France