Local Constructive Set Theory and Inductive Definitions
2011 (English)In: Foundational Theories of Classical and Constructive Mathematics. Vol. 76 / [ed] Giovanni Sommaruga, Dordrecht: Springer Netherlands, 2011, p. 189-207Chapter in book (Refereed)
Place, publisher, year, edition, pages
Dordrecht: Springer Netherlands, 2011. p. 189-207
National Category
History
Identifiers
URN: urn:nbn:se:uu:diva-417079Libris ID: 12213334ISBN: 9789400704312 (electronic)OAI: oai:DiVA.org:uu-417079DiVA, id: diva2:1457755
2020-08-122020-08-122021-02-17Bibliographically approved