Over 10 mio. titler Fri fragt ved køb over 499,- Hurtig levering Forlænget returret til 31/01/25
Sidst søgt på
    Studiebog
    Logic of Arithmetic

    Logic of Arithmetic

    Af
    Bog E-bog
    • Format
    • Bog, paperback
    • Engelsk

    Beskrivelse

    For propositional logic it can be decided whether a formula has a deduction from a finite set of other formulas. This volume begins with a method to decide this for the quantified formulas of those fragments of arithmetic which express the properties of order-plus-successor and of order-plus-addition (Pressburger arithmetic). It makes use of an algorithm eliminating quantifiers which, in turn, is also applied to obtain consistency proofs for these fragments.

    Læs hele beskrivelsen
    Detaljer
    • SprogEngelsk
    • Sidetal312
    • Udgivelsesdato05-09-2019
    • ISBN139780367398576
    • Forlag Crc Press
    • FormatPaperback
    Størrelse og vægt
  • Vægt453 g
    • coffee cup img
    10 cm
    book img
    15,2 cm
    22,9 cm

    Findes i disse kategorier...

    Se andre, der handler om...

    Number Primitive Natural Recursion Formula Recursive function Function Peano arithmetic Systems Axiom Atomic Sequent calculus Quantifier elimination Incompleteness Theorem FSO Follow Atomic Sentences Axiom Systems Atomic Formulas Canonically Represented Equality Logic Formally Defined Consistency Proofs Free Variable Formula Open Formulas H Ilb E Rt Prime Factor Decomposition recursive Recursive Relations Values Recursion Modus Ponens Primitive Recursively Provable Sentence Predicate Symbols Primitive Recursive Functions
    Machine Name: SAXO080