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

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

doi:10.1017/bsl.2017.19

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

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

History, Archeology, Arts, Philosophy and Ethics

Research output: Contribution to journal › Editorial

Original language	English
Pages (from-to)	267-268
Number of pages	2
Journal	Bulletin of Symbolic Logic
Volume	23
Issue number	2
DOIs	https://doi.org/10.1017/bsl.2017.19
Publication status	Published - 1 Jun 2017

Access to Document

10.1017/bsl.2017.19

Cite this

@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

VL - 23

SP - 267

EP - 268

JO - Bulletin of Symbolic Logic

JF - Bulletin of Symbolic Logic

SN - 1079-8986

IS - 2

ER -

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

Access to Document

Other files and links

Cite this