Structural proof theory
Auteur :
Negri, Sara / von Plato, Jan
Éditeur :
Cambridge University Press
ISBN :
9780521068420
Date de publication :
10 juil. 2008
Dimensions :
22,9 x 15,2 x 1,6 cm
Poids :
410 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Grande Bretagne
Structural proof theory studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to structural proof theory and a work of research that will be of interest to specialists. A special feature is a downloadable computer program for developing proofs interactively.