|
Eine Ebene nach oben |
Gruppiert nach: Dokumententyp |
Veröffentlichungsdatum
Springe zu: 1992
Anzahl der Publikationen: 1
1992
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]