From mathematical axioms to mathematical rules of proof: recent developments in proof analysis (Q5204802)

From MaRDI portal
scientific article; zbMATH DE number 7140440
Language Label Description Also known as
English
From mathematical axioms to mathematical rules of proof: recent developments in proof analysis
scientific article; zbMATH DE number 7140440

    Statements

    Identifiers