Independence of Goodstein's Theorem
| Autor: | Paweł Zbierski, Zofia Adamowicz |
|---|---|
| Rok vydání: | 2011 |
| Předmět: | |
| Zdroj: | Logic of Mathematics ISBN: 9781118032541 Logic of Mathematics: A Modern Course of Classical Logic |
| DOI: | 10.1002/9781118032541.ch22 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|