Kurt Gödel’s first steps in logic:formal proofs in arithmetic and set theory through a system of natural deduction
Publiceringsår
2018
Upphovspersoner
von Plato, Jan
Organisationer och upphovspersoner
Helsingfors universitet
von Plato Jan
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/Serie
Moderpublikationens namn
Volym
24
Nummer
3
Sidor
319-335
ISSN
Publikationsforum
Publikationsforumsnivå
3
Öppen tillgång
Öppen tillgänglighet i förläggarens tjänst
Nej
Parallellsparad
Nej
Övriga uppgifter
Vetenskapsområden
Filosofi
Publiceringsland
Förenta staterna (USA)
Förlagets internationalitet
Internationell
Språk
engelska
Internationell sampublikation
Nej
Sampublikation med ett företag
Nej
DOI
10.1017/bsl.2017.42
Publikationen ingår i undervisnings- och kulturministeriets datainsamling
Ja