Normalization proof for Peano Arithmetic
Julkaisuvuosi
2015
Tekijät
Siders, Annika Kristin
Organisaatiot ja tekijät
Helsingin yliopisto
Siders Annika Kristin
Julkaisutyyppi
Julkaisumuoto
Artikkeli
Emojulkaisun tyyppi
Lehti
Artikkelin tyyppi
Alkuperäisartikkeli
Yleisö
TieteellinenVertaisarvioitu
VertaisarvioituOKM:n julkaisutyyppiluokitus
A1 Alkuperäisartikkeli tieteellisessä aikakauslehdessäJulkaisukanavan tiedot
Emojulkaisun nimi
Volyymi
54
Numero
7
Sivut
921-940
ISSN
Julkaisufoorumi
Julkaisufoorumitaso
1
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Ei tietoa
Rinnakkaistallennettu
Ei tietoa
Muut tiedot
Tieteenalat
Filosofia
Julkaisumaa
Saksa
Kustantajan kansainvälisyys
Kansainvälinen
Kieli
englanti
Kansainvälinen yhteisjulkaisu
Ei
Yhteisjulkaisu yrityksen kanssa
Ei tietoa
DOI
10.1007/s00153-015-0450-y
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä