Cristin-resultat-ID: 1611098
Sist endret: 19. september 2018, 14:11
Resultat
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
2017

On the Computability of the Fan Functional

Bidragsytere:
  • Dag Normann og
  • William Tait

Bok

Feferman on Foundations Logic, Mathematics, Philosophy
ISBN:
  • 978-3-319-63332-9

Utgiver

Springer Nature
NVI-nivå 1

Serie

Outstanding Contributions to Logic
ISSN 2211-2758

Om resultatet

Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
Publiseringsår: 2017
Hefte: 13
Sider: 57 - 70
ISBN:
  • 978-3-319-63332-9

Klassifisering

Fagfelt (NPI)

Fagfelt: Matematikk
- Fagområde: Realfag og teknologi

Beskrivelse Beskrivelse

Tittel

On the Computability of the Fan Functional

Bidragsytere

Dag Normann

  • Tilknyttet:
    Forfatter
    ved Matematisk institutt ved Universitetet i Oslo

William Tait

  • Tilknyttet:
    Forfatter
    ved USA
1 - 2 av 2

Resultatet er en del av Resultatet er en del av

Feferman on Foundations Logic, Mathematics, Philosophy.

Jäger, Gerhard; Sieg, Wilfried. 2017, Springer Nature. CMU, UBVitenskapelig antologi/Konferanseserie
1 - 1 av 1