Nachum Dershowitz. Comparing computational power (2006)

by Udi Boker
Venue:Logic Journal of the IGPL