Please wait ...
Simple search
Advanced search -
Research publications
Advanced search -
Student theses
Statistics
English
Svenska
Norsk
Jump to content
Change search
Search
Search
Only documents with full text in DiVA
Cite
Export
BibTex
CSL-JSON
CSV 1
CSV 2
CSV 3
CSV 4
CSV 5
CSV all metadata
CSV all metadata version 2
RIS
Mods
MARC-XML
ETDMS
Link to record
Permanent link
https://urn.kb.se/resolve?urn=urn:nbn:se:hb:diva-8313
Direct link
http://hb.diva-portal.org/smash/record.jsf?pid=diva2:891251
Cite
Citation style
harvard-cite-them-right
apa
ieee
modern-language-association-8th-edition
vancouver
Other style
harvard-cite-them-right
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
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
More languages
Output format
html
text
asciidoc
rtf
html
text
asciidoc
rtf
Create
Close
On the Proof Theoretic Foundations of Set Theory
Hallnäs, Lars
University of Borås, Faculty of Textiles, Engineering and Business.
ORCID iD:
0000-0003-2270-9064
2015 (English)
In:
Advances in Proof-Theoretic Semantics
/ [ed] Thomas Piecha and Peter Schroeder-Heister, Springer Science+Business Media B.V., 2015, p. 161-171
Chapter in book (Refereed)
Place, publisher, year, edition, pages
Springer Science+Business Media B.V., 2015. p. 161-171
Series
Trends in Logic ; 43
National Category
Mathematics
Identifiers
URN:
urn:nbn:se:hb:diva-8313
OAI: oai:DiVA.org:hb-8313
DiVA, id:
diva2:891251
Available from:
2016-01-06
Created:
2016-01-06
Last updated:
2018-04-23
Bibliographically approved
Open Access in DiVA
No full text in DiVA
Authority records
Hallnäs, Lars
Search in DiVA
By author/editor
Hallnäs, Lars
By organisation
Faculty of Textiles, Engineering and Business
On the subject
Mathematics
Search outside of DiVA
Google
Google Scholar
urn-nbn
Altmetric score
urn-nbn
Total: 926 hits
Cite
Export
BibTex
CSL-JSON
CSV 1
CSV 2
CSV 3
CSV 4
CSV 5
CSV all metadata
CSV all metadata version 2
RIS
Mods
MARC-XML
ETDMS
Link to record
Permanent link
https://urn.kb.se/resolve?urn=urn:nbn:se:hb:diva-8313
Direct link
http://hb.diva-portal.org/smash/record.jsf?pid=diva2:891251
Cite
Citation style
harvard-cite-them-right
apa
ieee
modern-language-association-8th-edition
vancouver
Other style
harvard-cite-them-right
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
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
More languages
Output format
html
text
asciidoc
rtf
html
text
asciidoc
rtf
Create
Close
v. 2.45.0
|
WCAG
|
Simplified DiVA registration
|
Log in
|
Library
|
Student thesis submission
|
About DiVA
DiVA
Logotyp