Charles Explorer logo
🇨🇿

Models of Bounded Arithmetic and variants of the Pigeonhole Principle

Publikace na Matematicko-fyzikální fakulta |
2023