Space in Weak Propositional Proof Systems

Bonacina

von Ilario Bonacina

Gebunden

ISBN: 978-3-319-73452-1

ISBN-10: 3-319-73452-0

Springer · 2018

Siehe auch:
2019TaschenbuchSpace in Weak Propositional Proof Systems