KURT GÖDEL’S FIRST STEPS IN LOGIC: FORMAL PROOFS IN ARITHMETIC AND SET THEORY THROUGH A SYSTEM OF NATURAL DEDUCTION (Q4961869)

From MaRDI portal
scientific article; zbMATH DE number 6966011
Language Label Description Also known as
English
KURT GÖDEL’S FIRST STEPS IN LOGIC: FORMAL PROOFS IN ARITHMETIC AND SET THEORY THROUGH A SYSTEM OF NATURAL DEDUCTION
scientific article; zbMATH DE number 6966011

    Statements

    KURT GÖDEL’S FIRST STEPS IN LOGIC: FORMAL PROOFS IN ARITHMETIC AND SET THEORY THROUGH A SYSTEM OF NATURAL DEDUCTION (English)
    0 references
    0 references
    26 October 2018
    0 references
    Gödel
    0 references
    formal proof
    0 references
    systems of natural deduction
    0 references
    higher order arithmetic
    0 references
    syntax trees
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references