Proof Complexity, Encyclopedia of Mathematics and Its Applications, no. 170

Name: Proof Complexity, Encyclopedia of Mathematics and Its Applications, no. 170
Author: Jan Krajicek

by Jan Krajicek · 1 review · 2023

Reviewed by	Journal	Date	Access
Moritz Müller	The Bulletin of Symbolic Logic	2023-06-00	Restricted