Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science)
55,70 €
This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of first-order logic formalization. For the new edition, they have rewritten many sections to improve clarity, added new sections on cut elimination, and included solutions to selected exercises.
Jetzt bei Ebay:
