Bruno Woltzenlogel Paleo

Bruno Woltzenlogel Paleo

2 books in the database

Books

All about Proofs, Proofs for AllBruno Woltzenlogel Paleo

All about Proofs, Proofs for All

Bruno Woltzenlogel Paleo · 2015

Herbrand Sequent ExtractionBruno Woltzenlogel Paleo

Herbrand Sequent Extraction

Bruno Woltzenlogel Paleo · 2008