Second-order and higher-order logic

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Ensyklopedia-artikkeli › Tieteellinen › vertaisarvioitu

Alkuperäiskieli	englanti
Otsikko	Stanford Encyclopedia of Philosophy
Toimittajat	Edward N. Zalta
Kustantaja	Metaphysics Research Lab, Stanford
Julkaisupäivä	1 elokuuta 2019
Tila	Julkaistu - 1 elokuuta 2019
OKM-julkaisutyyppi	A3 Kirjan tai muun kokoomateoksen osa

Nimi	Stanford encyclopedia of philosophy
Kustantaja	Stanford University
ISSN (painettu)	1095-5054

Tieteenalat

@inbook{47d8c871f7b5447aa245d47338f47d49,

title = "Second-order and higher-order logic",

keywords = "111 Mathematics",

author = "V{\"a}{\"a}n{\"a}nen, {Jouko Antero}",

year = "2019",

month = aug,

day = "1",

language = "English",

series = "Stanford encyclopedia of philosophy",

publisher = "Metaphysics Research Lab, Stanford",

editor = "Zalta, {Edward N.}",

booktitle = "Stanford Encyclopedia of Philosophy",

address = "United States",

}