Proof Complexity (Encyclopedia of Mathematics and its Applications)

Applications

by Jan Krajíček

Hardcover

ISBN: 978-1-108-41684-9

ISBN-10: 1-108-41684-5

Cambridge University Press · March 2019