Alessandro Berarducci: Provability logic: models within models in Peano Arithmetic

This talk was held on October 24, 2023 in the CUNY Graduate Center’s virtual Models of Peano Arithmetic seminar.
© 2022 - Moovly.ru » DMCA » Contact Us » Abuse » Tell a friend »
Back to Top