![](/img/cover-not-exists.png)
Extending constructive operational set theory by impredicative principles
Andrea CantiniVolume:
57
Year:
2011
Language:
english
Pages:
24
DOI:
10.1002/malq.201010009
File:
PDF, 200 KB
english, 2011