University of Illinois Chicago
Browse

INVESTIGATIONS OF INTUITIONISTIC FORMAL SYSTEMS BY MEANS OF KRIPKE MODELS.

book
posted on 2025-05-30, 12:01 authored by CRAIG ALAN. SMORYNSKI
INVESTIGATIONS OF INTUITIONISTIC FORMAL SYSTEMS BY MEANS OF KRIPKE MODELS.

History

Degree Grantor

University of Illinois at Chicago.

Degree Level

  • Doctoral

Language

  • en

Usage metrics

    Categories

    No categories selected

    Keywords

    Mathematics.

    Licence

    In Copyright

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC