Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: dcs=511*
Treffer 525 von 991
|
|
| Link zu diesem Datensatz | https://d-nb.info/1005536511 |
| Art des Inhalts | Konferenzschrift, 2008, Münster (Westfalen) |
| Titel | Ways of proof theory / Ralf Schindler (ed.) |
| Person(en) | Schindler, Ralf (Herausgeber) |
| Verlag | Frankfurt, M. [i.e.] Heusenstamm ; Paris ; Lancaster ; New Brunswick, NJ : Ontos-Verl. |
| Zeitliche Einordnung | Erscheinungsdatum: 2010 |
| Umfang/Format | V, 486 S. : Ill., graph. Darst. ; 22 cm |
| ISBN/Einband/Preis |
978-3-86838-087-3 Pp. : EUR 129.00 (DE), EUR 129.00 (AT) 978-3-11-032452-5 Gb. : EUR 129.00 (DE) (freier Pr.), EUR 132.70 (AT) (freier Pr.), sfr 174.00 (freier Pr.) |
| EAN | 9783868380873 |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Ontos mathematical logic ; Vol. 2 |
| Anmerkungen | Literaturangaben |
| Schlagwörter |
Beweistheorie ; Kongress ; Münster |
| DDC-Notation | 511.36 [DDC22ger] |
| Sachgruppe(n) | 510 Mathematik ; 100 Philosophie |
| Weiterführende Informationen |
Inhaltsverzeichnis Inhaltstext |
| Frankfurt |
Signatur: 2010 A 65485
Bereitstellung in Frankfurt |
| Leipzig |
Signatur: 2010 A 83505
Bereitstellung in Leipzig |
Treffer 525 von 991
Administration
