Structural Proof Theory by Ming (1 results)

Author: 
Title: 
Refine with Advanced Search

Refine your search

  • Books (1)

  • New (1)
Learn more

to

Custom price range (US$)

to

  • Language: English

    Published by Science Press, 2023

    7030754743 / 9787030754745

    • Softcover

    Seller: liu xing, Nanjing, JS, Chinaliu xing

    5-star seller
    Contact seller

    Condition: New

    US$ 99.93

    US$ 18.00 shipping 
    Ships from China to U.S.A.

    Quantity: 3 available

    paperback. Condition: New. Paperback.Pub Date:2023-06 Pages:248 Language:Chinese Publisher:Science Press Proof theory is a branch of the basic theory of logic. Structural proof theory is a branch of proof theory. which studies analytical proofs in calculus. Structural Proof Theory (Second Edition) introduces classical sentential logic and intuitionistic logic. and gives different types of logical calculus such as axiom system. natural deduction and vector calculus. According to the definition of structure and structura. …