Absolute \(L\)-realizability and intuitionistic logic (Q2320010)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Absolute \(L\)-realizability and intuitionistic logic
scientific article

    Statements