Cargando…

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...

Descripción completa

Detalles Bibliográficos
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