Introduction: Set Theory and Higher-Order Logic: Fundational Issues and Mathematical Development

Salvatore Florio, Øystein Linnebo, Sean Walsh, Philip Welch

Research output: Contribution to journal › Special issue

103 Downloads (Pure)

Original language	English
Journal	Notre Dame Journal of Formal Logic
Volume	56
Issue number	1
Publication status	Published - 2015

Access to Document

@article{cad17636b00e40a889f306062419b2fa,

title = "Introduction: Set Theory and Higher-Order Logic: Fundational Issues and Mathematical Development",

author = "Salvatore Florio and {\O}ystein Linnebo and Sean Walsh and Philip Welch",

year = "2015",

language = "English",

volume = "56",

journal = "Notre Dame Journal of Formal Logic",

issn = "0029-4527",

publisher = "University of Notre Dame",

number = "1",

}