Elementare Aussagenlogik Friedrich L. Bauer, Martin Wirsing E-Book (pdf)

Java kompakt Matthias Hölzl, Allaithy Raed, Martin Wirsing E-Book (pdf)

Adapting Proofs-as-Programs Iman Poernomo, John N. Crossley, Martin Wirsing E-Book (pdf)