CERES and Fast Cut-Elimination

by Mikheil Rukhaia

Gentzen's cut-elimination theorem is one of the most important theorems of logic. Removing cuts from formal proofs corresponds to the elimination of intermediary lemmas from mathematical proofs. It is... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3639332024
• ISBN13: 9783639332025
• Release Date: February 2011
• Publisher: VDM Verlag
• Length: 72 Pages
• Weight: 0.26 lbs.
• Dimensions: 0.2" x 6.0" x 9.0"