Suggested Topics within your search.
Showing 1 - 1 results of 1 for search '"sequent calculus"', query time: 0.02s Refine Results
  1. 1
    Proof analysis : a contribution to Hilbert's last problem /
    by Negri, Sara, Von Plato, Jan
    Published 2011
    Table of Contents: “... and lattice theory; 5. Theories with existence axioms; Part II. Proof Systems Based on Sequent Calculus: 6...”
    Cover image
    Printed Book
Search Tools: Get RSS Feed — Email this Search