Anzahl der Publikationen: 2
Buchbeitrag
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]
Diese Liste wurde am
Sat Aug 3 18:36:51 2024 CEST
erstellt.