Deep Inference

Research output: Chapter or section in a book/report/conference proceedingChapter or section

81 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