Proof analysis: a contribution to hilbert's last problem
Auteur :
Negri, Sara / von Plato, Jan
Éditeur :
Cambridge University Press
ISBN :
9781107417236
Date de publication :
12 juin 2014
Dimensions :
21,0 x 15,0 x 2,5 cm
Poids :
440 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Grande Bretagne
A continuation of the authors' book Structural Proof Theory, one of the basic sources for all students and researchers on logic. Presents a way of extending the proof theory of pure logic to cover mathematical axiomatic theories and systems of philosophical logic.