Proof Theory
| Autor: | Schütte, K. |
|---|---|
| ISBN: | 9783642664755 |
| Sprache: | Englisch |
| Seitenzahl: | 302 |
| Produktart: | Kartoniert / Broschiert |
| Verlag: | Springer Berlin |
| Veröffentlicht: | 17.11.2011 |
| Schlagworte: | Beweistheorie Finite calculus function ordinal predicate logic proof proof theory type theory |