The epsilon calculus and Herbrand Complexity (2006)

Cached

Download Links

by G. Moser , R. Zach
Venue:STUDIA LOGICA
Citations:2 - 0 self