Adding proof objects and inductive definition mechanisms to frege structures (Q5096212)

From MaRDI portal
scientific article; zbMATH DE number 7571995
Language Label Description Also known as
English
Adding proof objects and inductive definition mechanisms to frege structures
scientific article; zbMATH DE number 7571995

    Statements

    Adding proof objects and inductive definition mechanisms to frege structures (English)
    0 references
    0 references
    16 August 2022
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers