Deep Inference

Research output: Chapter in Book/Report/Conference proceedingChapter

57 Downloads (Pure)
Original languageEnglish
Title of host publicationAll About Proofs, Proofs for All
PublisherCollege Publications
ISBN (Print)978-1-84890-166-7
Publication statusPublished - 2015

Publication series

NameMathematical Logic and Foundations
PublisherCollege Publications

Cite this