Provability, Computability and Reflection
2014
Elsevier Science & Technology (Hersteller)
978-0-08-093117-3 (ISBN)
Elsevier Science & Technology (Hersteller)
978-0-08-093117-3 (ISBN)
| Erscheint lt. Verlag | 1.6.2014 |
|---|---|
| Reihe/Serie | Studies in Logic and the Foundations of Mathematics ; 154 |
| Sprache | englisch |
| Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
| Mathematik / Informatik ► Mathematik | |
| ISBN-10 | 0-08-093117-0 / 0080931170 |
| ISBN-13 | 978-0-08-093117-3 / 9780080931173 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |