Schwichtenberg, Helmut
(1992):
Minimal from classical proofs.
In: Börger, E.; Jäger, G.; Kleine-Büning, H. und Richter, M.M. (Hrsg.):
Computer Science Logic. Bd. 626. Berlin, Heidelberg, New York: Springer. S. 326-328
[PDF, 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 |
| Sprache: | Englisch |
| Dokumenten ID: | 4487 |
| Datum der Veröffentlichung auf Open Access LMU: | 20. Jun. 2008 06:54 |
| Letzte Änderungen: | 13. Aug. 2024 11:48 |
- Dokument bearbeiten
