Ulrich Berger (berger-u)

Contributions to Philosophie.ch

Bibliography

Benl, Holger, Berger, Ulrich, Schwichtenberg, Helmut, Seisenberger, Monika and Zuber, Wolfgang. 1998. “Proof Theory at Work: Program Development in the Minlog System.” in Automated Deduction: A Basis for Applications. Volume II, Systems and Implementation Techniques, edited by Wolfgang Bibel and Peter H. Schmidt, pp. 41–72. Applied Logic Series n. 9. Dordrecht: Kluwer Academic Publishers.
Berger, Ulrich, Diener, Hannes, Schuster, Peter and Seisenberger, Monika, eds. 2012. Logic, Construction, Computation. Ontos Mathematical Logic n. 3. Heusenstamm b. Frankfurt: Ontos Verlag.
Schuster, Peter, Berger, Ulrich and Osswald, H., eds. 2001. Reuniting the Antipodes – Constructive and Nonstandard Views of the Continuum. Synthese Library n. 306. Dordrecht: Kluwer Academic Publishers.