![](/img/cover-not-exists.png)
Well-behaved principles alternative to bounded induction
Zofia Adamowicz, Leszek Aleksander KołodziejczykVolume:
322
Year:
2004
Language:
english
Pages:
12
DOI:
10.1016/j.tcs.2004.03.022
File:
PDF, 248 KB
english, 2004