The Interpretability Logic of all Reasonable Arithmetical Theories (1999)

Cached

Download Links

by Joost J. Joosten , Albert Visser
Venue:ERKENNTNIS
Citations:9 - 5 self