Proof theory: a selection of papers from the leeds proof theory programme 1990
Éditeur :
Cambridge University Press
ISBN :
9780521054164
Date de publication :
21 janv. 2008
Dimensions :
22,8 x 15,1 x 1,8 cm
Poids :
484 g
Format :
Trade paperback (US)
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.