The eskolemization of universal quantfiers

    Research output: Contribution to journalArticleAcademicpeer-review

    Original languageUndefined/Unknown
    Pages (from-to)201-212
    Number of pages12
    JournalAnnals of Pure and Applied Logic
    Volume162
    Publication statusPublished - 2010

    Cite this