Space in Weak Propositional Proof Systems

Bonacina

von Ilario Bonacina

Taschenbuch

ISBN-13: 978-3-319-89249-8

ISBN-10: 3-319-89249-5

Springer · Juni 2019