Deep Inference and Symmetry in Classical Proofs Dissertation zur Erlangung des akademischen Grades Doktor rerum naturalium vorgelegt an der Technischen Universit¨

First Page		Document Content
Date: 2014-09-12 07:12:40		Deep Inference and Symmetry in Classical Proofs Dissertation zur Erlangung des akademischen Grades Doktor rerum naturalium vorgelegt an der Technischen Universit¨ Add to Reading List Source URL: cs.bath.ac.uk Download Document from Source Website File Size: 636,30 KB Share Document on Facebook