Nominalistic Logic: From Naive Set Theory to Intensional Type Theory

Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

Original language	English
Title of host publication	New Approaches to Classes and Concepts — Studies in Logic
Editors	Klaus Robering
Number of pages	196
Volume	14
Publisher	College Publications
Publication date	2008
Pages	57-85
ISBN (Print)	978-1-904987-85-7
Publication status	Published - 2008

Cite this

@inbook{422af55fede6491fa091f55312af9c2d,

title = "Nominalistic Logic: From Naive Set Theory to Intensional Type Theory",

author = "J{\o}rgen Villadsen",

year = "2008",

language = "English",

isbn = "978-1-904987-85-7",

volume = "14",

pages = "57--85",

editor = "Klaus Robering",

booktitle = "New Approaches to Classes and Concepts — Studies in Logic",

publisher = "College Publications",

}