Nominalistic Logic: From Naive Set Theory to Intensional Type Theory

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

    Original languageEnglish
    Title of host publicationNew Approaches to Classes and Concepts — Studies in Logic
    EditorsKlaus Robering
    Number of pages196
    Volume14
    PublisherCollege Publications
    Publication date2008
    Pages57-85
    ISBN (Print)978-1-904987-85-7
    Publication statusPublished - 2008

    Cite this