Reviews matching “Bounded arithmetic, propositional logic, and complexity theory”

1 result

BookAuthorReviewerJournalDate
Bounded arithmetic, propositional logic, and complexity theory Jan Krajícek P. Clote The Journal of Symbolic Logic 1999

Open this search with filters