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 DRM-beskyttet
    Proof Theory

    Proof Theory

    - Sequent Calculi and Related Formalisms

    Af
    Bog E-bog
    • Format
    • E-bog, ePub
    • Engelsk
    E-bogen er DRM-beskyttet og kræver et særligt læseprogram

    Beskrivelse

    Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems. Addressing this deficiency, Proof Theory: Sequent Calculi and Related Formalisms presents a comprehensive treatment of sequent calculi, including a wide range of variations. It focuses on sequent calculi

    Læs hele beskrivelsen
    Detaljer
    • SprogEngelsk
    • Sidetal386
    • Udgivelsesdato20-08-2014
    • ISBN139781040058978
    • Forlag Crc Press
    • FormatePub

    Findes i disse kategorier...

    Machine Name: SAXO082