The interpretability logic of Peano arithmetic (1990)

View PDF

Download Links

by Alessandro Berarducci , Alessandro Berarducci , To Silvia
Venue:The Journal of Symbolic Logic
Citations:17 - 0 self