Questions and Dependency in Intuitionistic Logic

Ivano Ciardelli, Rosalie Iemhoff, Fan Yang

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

Alkuperäiskielienglanti
LehtiNotre Dame Journal of Formal Logic
ISSN0029-4527
TilaHyväksytty/In press - 2019
OKM-julkaisutyyppiA1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä, vertaisarvioitu

Lainaa tätä

@article{7e8713ca23c84e679ab898676d8ecb53,
title = "Questions and Dependency in Intuitionistic Logic",
author = "Ivano Ciardelli and Rosalie Iemhoff and Fan Yang",
year = "2019",
language = "English",
journal = "Notre Dame Journal of Formal Logic",
issn = "0029-4527",
publisher = "Duke University Press",

}

Questions and Dependency in Intuitionistic Logic. / Ciardelli, Ivano; Iemhoff, Rosalie; Yang, Fan.

julkaisussa: Notre Dame Journal of Formal Logic, 2019.

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

TY - JOUR

T1 - Questions and Dependency in Intuitionistic Logic

AU - Ciardelli, Ivano

AU - Iemhoff, Rosalie

AU - Yang, Fan

PY - 2019

Y1 - 2019

M3 - Article

JO - Notre Dame Journal of Formal Logic

JF - Notre Dame Journal of Formal Logic

SN - 0029-4527

ER -