Proof Analysis : a Contribution to Hilbert's Last Problem.
This book continues from where the authors' previous book, Structural Proof Theory, ended. It presents an extension of the methods of analysis of proofs in pure logic to elementary axiomatic systems and to what is known as philosophical logic. A self-contained brief introduction to the proof th...
Clasificación: | Libro Electrónico |
---|---|
Autor principal: | Von Plato, Jan (Autor) |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Cambridge University Press
2011.
|
Temas: | |
Acceso en línea: | Texto completo |
Ejemplares similares
-
The nuts and bolts of proofs /
por: Cupillari, Antonella
Publicado: (2005) -
Ways of proof theory /
por: Schindler, Ralf
Publicado: (2010) -
Ways of proof theory /
por: Schindler, Ralf
Publicado: (2010) -
Conditional and preferential logics : proof methods and theorem proving /
por: Pozzato, Gian Luca
Publicado: (2010) -
The moment of proof : mathematical epiphanies /
por: Benson, Donald C.
Publicado: (2000)