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: | Schindler, Ralf |
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 |
Documents similaires
-
Ways of proof theory /
par: Schindler, Ralf
Publié: (2010) -
The nuts and bolts of proofs /
par: Cupillari, Antonella
Publié: (2005) -
Proof Analysis : a Contribution to Hilbert's Last Problem.
par: Von Plato, Jan
Publié: (2011) -
Proof theory /
par: Takeuti, Gaisi, 1926-2017
Publié: (1975) -
Conditional and preferential logics : proof methods and theorem proving /
par: Pozzato, Gian Luca
Publié: (2010)