| Schwichtenberg, Helmut (1992): Minimal from classical proofs. In: Börger, E.; Jäger, G.; Kleine-Büning, H.; Richter, M.M. (Hrsg.): Computer Science Logic. Bd. 626. Berlin, Heidelberg, New York: Springer. S. 326-328 |
|
394kB |
| Dokumententyp: | Buchbeitrag |
|---|---|
| Fakultät: | Mathematik, Informatik und Statistik > Mathematik |
| Themengebiete: | 500 Naturwissenschaften und Mathematik > 510 Mathematik |
| URN: | urn:nbn:de:bvb:19-epub-4487-4 |
| ISBN: | 3-540-55789-X, 0-387-55789-X |
| Ort: | Berlin, Heidelberg, New York |
| Signatur: | BSB:92.52991 |
| ID: | 4487 |
| Veröffentlicht am: | 20. Jun. 2008 06:54 |
| Letzte Änderungen: | 29. Apr. 2016 08:57 |
Nur für Administratoren und Editoren: Dokument bearbeiten