Proof Theory: A Selection of Papers from the Leeds Proof Theory Programme 1990

Collectif

Ouvrage indisponible

Éditeur
Cambridge University Press
Pages
320
Parution
février 1993
Format
Cartonné
Langue
Anglais
Dimensions
234 × 155 × 22 cm
EAN
9780521414135
  • Résumé

A collection of expository and research articles derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory.
Bio de l'auteur
Sommaire / contenu
Nous vous suggérons aussi
Retour en haut de page