Uniform Gentzen systems (Q5594589)

From MaRDI portal
scientific article; zbMATH DE number 3314310
Language Label Description Also known as
English
Uniform Gentzen systems
scientific article; zbMATH DE number 3314310

    Statements

    Uniform Gentzen systems (English)
    0 references
    1968
    0 references
    general logic
    0 references

    Identifiers