Charles Explorer logo
🇬🇧

Models of Bounded Arithmetic and variants of the Pigeonhole Principle

Publication at Faculty of Mathematics and Physics |
2023