From mathematical axioms to mathematical rules of proof:recent developments in proof analysis
Publiceringsår
2019
Upphovspersoner
Negri, Sara; von Plato, Jan
Organisationer och upphovspersoner
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
Moderpublikationens namn
Proceedings of the Royal Society. A . Mathematical, physical and engineering sciences
Volym
377
Nummer
2140
Artikelnummer
20180037
ISSN
Publikationsforum
Publikationsforumsnivå
2
Öppen tillgång
Öppen tillgänglighet i förläggarens tjänst
Nej
Parallellsparad
Ja
Övriga uppgifter
Vetenskapsområden
Filosofi
Nyckelord
[object Object],[object Object],[object Object],[object Object]
Publiceringsland
Förenade kungariket
Förlagets internationalitet
Internationell
Språk
engelska
Internationell sampublikation
Nej
Sampublikation med ett företag
Nej
DOI
10.1098/rsta.2018.0037
Publikationen ingår i undervisnings- och kulturministeriets datainsamling
Ja