On Natural Deduction in Dependence Logic

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

Alkuperäiskieli	englanti
Otsikko	Logic Without Borders : Essays on set theory, model theory, philosophical logic and philosophy of mathematics
Kustantaja	de Gruyter
Julkaisupäivä	2015
ISBN (painettu)	978-1-61451-772-6
ISBN (elektroninen)	978-1-61451-687-3
Tila	Julkaistu - 2015
OKM-julkaisutyyppi	A3 Kirjan tai muun kokoomateoksen osa

Nimi	Ontos Mathematical Logic
Numero	5

Tieteenalat

@inbook{d18d6479497b4bddab16beb1223c3210,

title = "On Natural Deduction in Dependence Logic",

keywords = "611 Philosophy",

author = "Juha Kontinen",

year = "2015",

language = "English",

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

series = "Ontos Mathematical Logic",

publisher = "de Gruyter",

number = "5",

booktitle = "Logic Without Borders",

address = "Germany",

}