Introduction: Mathesis Universalis, Proof and computation

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Kirjan luku tai artikkeli › Tieteellinen

Alkuperäiskieli	englanti
Otsikko	Mathesis Universalis, Computability and Proof
Sivumäärä	6
Kustantaja	Springer
Julkaisupäivä	2019
Sivut	1-6
ISBN (painettu)	978-3-030-20446-4
ISBN (elektroninen)	978-3-030-20447-1
Tila	Julkaistu - 2019
OKM-julkaisutyyppi	B2 Kirjan tai muun kokoomateoksen osa

Tieteenalat

@inbook{ad4db50aca524bd3b23c96ce423f4ef3,

title = "Introduction: Mathesis Universalis, Proof and computation",

keywords = "111 Mathematics",

author = "Stefania Centrone",

year = "2019",

language = "English",

isbn = "978-3-030-20446-4",

pages = "1--6",

booktitle = "Mathesis Universalis, Computability and Proof",

publisher = "Springer",

address = "United Kingdom",

}