Normalization proof for Peano Arithmetic
Publiceringsår
2015
Upphovspersoner
Siders, Annika Kristin
Organisationer och upphovspersoner
Helsingfors universitet
Siders Annika Kristin
Publikationstyp
Publikationsform
Artikel
Moderpublikationens typ
Tidning
Artikelstyp
En originalartikel
Målgrupp
VetenskapligKollegialt utvärderad
Kollegialt utvärderadUKM:s publikationstyp
A1 Originalartikel i en vetenskaplig tidskriftPublikationskanalens uppgifter
Journal
Moderpublikationens namn
Volym
54
Nummer
7
Sidor
921-940
ISSN
Publikationsforum
Publikationsforumsnivå
1
Öppen tillgång
Öppen tillgänglighet i förläggarens tjänst
Ingen information
Parallellsparad
Okänd
Övriga uppgifter
Vetenskapsområden
Filosofi
Publiceringsland
Tyskland
Förlagets internationalitet
Internationell
Språk
engelska
Internationell sampublikation
Nej
Sampublikation med ett företag
Okänd
DOI
10.1007/s00153-015-0450-y
Publikationen ingår i undervisnings- och kulturministeriets datainsamling
Ja