Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: dcs=511*
Treffer 959 von 1748
|
|
| Link zu diesem Datensatz | https://d-nb.info/1105097943 |
| Art des Inhalts | Konferenzschrift |
| Titel | Ways of Proof Theory |
| Person(en) | Schindler, Ralf (Herausgeber) |
| Verlag | Berlin/Boston : De Gruyter |
| Zeitliche Einordnung | Erscheinungsdatum: 2010 |
| Umfang/Format | Online-Ressource : Zahlr. Abb. (pdf) |
| Andere Ausgabe(n) |
Erscheint auch als: ISBN: 978-3-11-032491-4 Elektronische Reproduktion von: ISBN: 9783110324525 |
| Persistent Identifier | URN: urn:nbn:de:101:1-2016070121093 |
| URL | http://www.degruyter.com/search?f_0=isbnissn&q_0=9783110324907&searchTitles=true (Verlag) |
| ISBN/Einband/Preis |
978-3-11-032490-7 3-11-032490-3 |
| EAN | 9783110324907 |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Ontos Mathematical Logic ; 2 |
| Anmerkungen | Lizenzpflichtig |
| Schlagwörter |
Beweistheorie ; Münster |
| DDC-Notation | 511.36 [DDC22ger] |
| Sachgruppe(n) | 510 Mathematik ; 100 Philosophie |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 959 von 1748
Administration
