Digitala Vetenskapliga Arkivet

System disruptions
We are currently experiencing disruptions on the search portals due to high traffic. We are working to resolve the issue, you may temporarily encounter an error message.
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Local Constructive Set Theory and Inductive Definitions
Uppsala University, Swedish Collegium for Advanced Study (SCAS).
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
Available from: 2020-08-12 Created: 2020-08-12 Last updated: 2021-02-17Bibliographically approved

Open Access in DiVA

No full text in DiVA

By organisation
Swedish Collegium for Advanced Study (SCAS)
History

Search outside of DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
Total: 182 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf