Kurt Gödel’s first steps in logic:formal proofs in arithmetic and set theory through a system of natural deduction
Julkaisuvuosi
2018
Tekijät
von Plato, Jan
Organisaatiot ja tekijät
Helsingin yliopisto
von Plato Jan
Julkaisutyyppi
Julkaisumuoto
Artikkeli
Emojulkaisun tyyppi
Lehti
Artikkelin tyyppi
Alkuperäisartikkeli:
Yleisö
TieteellinenVertaisarvioitu
VertaisarvioituOKM:n julkaisutyyppiluokitus
A1 Alkuperäisartikkeli tieteellisessä aikakauslehdessäJulkaisukanavan tiedot
Lehti/Sarja
Emojulkaisun nimi
Volyymi
24
Numero
3
Sivut
319-335
ISSN
Julkaisufoorumi
Julkaisufoorumitaso
3
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Ei
Rinnakkaistallennettu
Ei
Muut tiedot
Tieteenalat
Filosofia
Julkaisumaa
Yhdysvallat (USA)
Kustantajan kansainvälisyys
Kansainvälinen
Kieli
englanti
Kansainvälinen yhteisjulkaisu
Ei
Yhteisjulkaisu yrityksen kanssa
Ei
DOI
10.1017/bsl.2017.42
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä