![](/img/cover-not-exists.png)
Extended bar induction in applicative theories
Gerard R. Renardel de LavaletteVolume:
50
Year:
1990
Language:
english
Pages:
51
DOI:
10.1016/0168-0072(90)90047-6
File:
PDF, 2.84 MB
english, 1990