Heyting Valued Models of Intuitionistic Set Theory

Files

heyting valued models of izf.pdf (588.77 KB)

Publication date

2016

Authors

DOI

Document Type

Bachelor Thesis

Metadata

Show full item record

Collections

Theses
Open Access logo

License

CC-BY-NC-ND

Abstract

Keywords

Citation

URI

https://studenttheses.uu.nl/handle/20.500.12932/23459