The size of a formula as a measure of complexity

Lauri Hella, Jouko Väänänen

Tutkimustuotos: Luku › Tieteellinen › vertaisarvioitu

Alkuperäiskieli	Englanti
Otsikko	Logic without Borders: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics
Toimittajat	Åsa Hirvonen
Julkaisupaikka	Berlin
Kustantaja	Walter De Gruyter
Sivut	193-214
ISBN (painettu)	978-1-61451-772-6
Tila	Julkaistu - 2015
OKM-julkaisutyyppi	A3 Kirjan tai muun kokoomateoksen osa

Julkaisufoorumi-taso

@inbook{9e6f6311aa1a4f53a6c6724d1dc1fc74,

title = "The size of a formula as a measure of complexity",

author = "Lauri Hella and Jouko V{\"a}{\"a}n{\"a}nen",

year = "2015",

language = "English",

isbn = "978-1-61451-772-6",

series = "Ontos Mathematical Logic",

publisher = "Walter De Gruyter",

number = "5",

pages = "193--214",

editor = "{\AA}sa Hirvonen",

booktitle = "Logic without Borders: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics",

address = "Germany",

}

TY - CHAP

T1 - The size of a formula as a measure of complexity

AU - Hella, Lauri

AU - Väänänen, Jouko

PY - 2015

Y1 - 2015

M3 - Chapter

SN - 978-1-61451-772-6

T3 - Ontos Mathematical Logic

SP - 193

EP - 214

BT - Logic without Borders: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics

A2 - Hirvonen, Åsa

PB - Walter De Gruyter

CY - Berlin

ER -