This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of first-order logic formalization. Examples are given of several areas... This description may be from another edition of this product.
Related Subjects
Computers Computers & Technology Math Mathematics Medical Medical Books Science & Math