Proof theory: a selection of papers from the leeds proof theory programme 1990
Éditeur :
Cambridge University Press
ISBN :
9780521414135
Date de publication :
11 févr. 1993
Dimensions :
22,9 x 15,2 x 2,2 cm
Poids :
640 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
A collection of expository and research articles derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory.