From mathematical axioms to mathematical rules of proof:recent developments in proof analysis
Julkaisuvuosi
2019
Tekijät
Negri, Sara; von Plato, Jan
Organisaatiot ja tekijät
Julkaisutyyppi
Julkaisumuoto
Artikkeli
Emojulkaisun tyyppi
Lehti
Artikkelin tyyppi
Alkuperäisartikkeli
Yleisö
TieteellinenVertaisarvioitu
VertaisarvioituOKM:n julkaisutyyppiluokitus
A1 Alkuperäisartikkeli tieteellisessä aikakauslehdessäJulkaisukanavan tiedot
Emojulkaisun nimi
Proceedings of the Royal Society. A . Mathematical, physical and engineering sciences
Volyymi
377
Numero
2140
Artikkelinumero
20180037
ISSN
Julkaisufoorumi
Julkaisufoorumitaso
2
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Ei
Rinnakkaistallennettu
Kyllä
Muut tiedot
Tieteenalat
Filosofia
Avainsanat
[object Object],[object Object],[object Object],[object Object]
Julkaisumaa
Yhdistynyt kuningaskunta
Kustantajan kansainvälisyys
Kansainvälinen
Kieli
englanti
Kansainvälinen yhteisjulkaisu
Ei
Yhteisjulkaisu yrityksen kanssa
Ei
DOI
10.1098/rsta.2018.0037
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä