Workshop on foundations of mathematics: Univalent foundations and set theory (FOMUS 2016)

Balthasar Grabmayr, Deborah Kant, Lukas Kühne, Deniz Sarikaya

Onderzoeksoutput: Editorial

Toegang tot document

@article{a20752c92ab2430a91d592f23c9c5169,

title = "Workshop on foundations of mathematics: Univalent foundations and set theory (FOMUS 2016)",

author = "Balthasar Grabmayr and Deborah Kant and Lukas K{\"u}hne and Deniz Sarikaya",

year = "2017",

month = jun,

day = "1",

doi = "10.1017/bsl.2017.19",

language = "English",

volume = "23",

pages = "267--268",

journal = "Bulletin of Symbolic Logic",

issn = "1079-8986",

publisher = "Cambridge University Press",

number = "2",

}

TY - JOUR

T1 - Workshop on foundations of mathematics

T2 - Univalent foundations and set theory (FOMUS 2016)

AU - Grabmayr, Balthasar

AU - Kant, Deborah

AU - Kühne, Lukas

AU - Sarikaya, Deniz

PY - 2017/6/1

Y1 - 2017/6/1

UR - http://www.scopus.com/inward/record.url?scp=85021171927&partnerID=8YFLogxK

U2 - 10.1017/bsl.2017.19

DO - 10.1017/bsl.2017.19

M3 - Editorial

AN - SCOPUS:85021171927

SN - 1079-8986

VL - 23

SP - 267

EP - 268

JO - Bulletin of Symbolic Logic

JF - Bulletin of Symbolic Logic

IS - 2

ER -