Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Deep inference
open-in-new
<h2 id="notes">Notes</h2> <h2 id="further-reading">Further reading</h2> <ul><li>Kai Brünnler, "Deep Inference and Symmetry in Classical Proofs" (<a href="http://www.iam.unibe.ch/~kai/Papers/phd.pdf">Ph.D. thesis 2004</a>), also published in book form by Logos Verlag (<a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-3-8325-0448-9).</li> <li><a href="http://alessio.guglielmi.name/res/cos/index.html">Deep Inference and the Calculus of Structures</a> Intro and reference web page about ongoing research in deep inference.</li></ul> <h2 id="references">References</h2> <ol> <li id="fn:1"><p>Kurt Schütte. Proof Theory. Springer-Verlag, 1977. <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li> </ol>