Cargando…
Ways of proof theory /
On the occasion of the retirement of Wolfram Pohlers the Institut für Mathematische Logik und Grundlagenforschung of the University of Münster organized a colloquium and a workshop which took place July 17 - 19, 2008. This event brought together proof theorists from many parts of the world who hav...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Frankfurt ; New Brunswick :
Ontos Verlag,
2010.
|
| Colección: | Ontos mathematical logic ;
v. 2. |
| Temas: | |
| Acceso en línea: | Texto completo |