Deep Inference and Symmetry in Classical Proofs

Inference

von Kai Brünnler

Taschenbuch

ISBN: 978-3-8325-0448-9

ISBN-10: 3-8325-0448-6

Logos Berlin · 2004