Chargement en cours…
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...
| Cote: | Libro Electrónico |
|---|---|
| Auteur principal: | |
| Format: | Électronique eBook |
| Langue: | Inglés |
| Publié: |
Frankfurt ; New Brunswick :
Ontos Verlag,
2010.
|
| Collection: | Ontos mathematical logic ;
v. 2. |
| Sujets: | |
| Accès en ligne: | Texto completo |