The interpretability logic of Peano arithmetic (1990)

Cached

Download Links

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