| Originalspråk | engelska |
|---|---|
| Titel på gästpublikation | 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 |
Publikationsserier
| Namn | Ontos Mathematical Logic |
|---|---|
| Nummer | 5 |
Vetenskapsgrenar
- 611 Filosofi
Citera det här
Kontinen, J. (2015). On Natural Deduction in Dependence Logic. I Logic Without Borders: Essays on set theory, model theory, philosophical logic and philosophy of mathematics (Ontos Mathematical Logic; Nr. 5). de Gruyter.
@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",
}
Kontinen, J 2015, On Natural Deduction in Dependence Logic. i Logic Without Borders: Essays on set theory, model theory, philosophical logic and philosophy of mathematics. Ontos Mathematical Logic, nr. 5, de Gruyter.
On Natural Deduction in Dependence Logic. / Kontinen, Juha.
Logic Without Borders: Essays on set theory, model theory, philosophical logic and philosophy of mathematics. de Gruyter, 2015. (Ontos Mathematical Logic; Nr. 5).Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Kapitel › Vetenskaplig › Peer review
TY - CHAP
T1 - On Natural Deduction in Dependence Logic
AU - Kontinen, Juha
PY - 2015
Y1 - 2015
KW - 611 Philosophy
M3 - Chapter
SN - 978-1-61451-772-6
T3 - Ontos Mathematical Logic
BT - Logic Without Borders
PB - de Gruyter
ER -
Kontinen J. On Natural Deduction in Dependence Logic. I Logic Without Borders: Essays on set theory, model theory, philosophical logic and philosophy of mathematics. de Gruyter. 2015. (Ontos Mathematical Logic; 5).