Cargando…
Gentzen's centenary: the quest for consistency
Gerhard Gentzen has been described as logic’s lost genius, whom Gödel called a better logician than himself. This work comprises articles by leading proof theorists, attesting to Gentzen’s enduring legacy to mathematical logic and beyond. The contributions range from philosophical reflections and re...
| Autores principales: | , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Springer
2015
|
| Materias: | |
| Acceso en línea: | https://dx.doi.org/10.1007/978-3-319-10103-3 http://cds.cern.ch/record/2112883 |