Reviews matching “Proof Complexity, Encyclopedia of Mathematics and Its Applications, no. 170”

1 result

BookAuthorReviewerJournalDate
Proof Complexity, Encyclopedia of Mathematics and Its Applications, no. 170 Jan Krajicek Moritz Müller The Bulletin of Symbolic Logic 2023-06-00

Open this search with filters