Basic proof theory
Auteur :
Troelstra, A. S. / Schwichtenberg, H.
Éditeur :
Cambridge University Press
ISBN :
9780521779111
Date de publication :
27 juil. 2000
Dimensions :
22,7 x 15,4 x 2,3 cm
Poids :
595 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Grande Bretagne
This is an introduction to the basic ideas of structural proof theory. For the new edition, many sections have been rewritten to improve clarity, new sections have been added on cut elimination, and solutions to selected exercises have been included.