On Natural Deduction in Dependence Logic

Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Kapitel › Vetenskaplig › Peer review

Originalspråk	engelska
Titel på värdpublikation	Logic Without Borders : Essays on set theory, model theory, philosophical logic and philosophy of mathematics
Förlag	de Gruyter
Utgivningsdatum	2015
ISBN (tryckt)	978-1-61451-772-6
ISBN (elektroniskt)	978-1-61451-687-3
Status	Publicerad - 2015
MoE-publikationstyp	A3 Del av bok eller annan forskningsbok

Namn	Ontos Mathematical Logic
Nummer	5

Vetenskapsgrenar

@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",

}