Kripke models for subtheories of CZF

R. Iemhoff

    Research output: Contribution to journal › Article › Academic › peer-review

    Original languageUndefined/Unknown
    JournalArchive for Mathematical Logic
    Volumedoi: 10.10
    Publication statusPublished - 2009

    Cite this