Year: 1987
Title: Proof Theory and Logical Complexity
Publisher: Bibliopolis ,Naples, pages: 503
Comments: An extensive textbook covering results about provability with respect to the Arithmetic Logical Hierarchy.
Keywords: ARITHMETIC, LOGIC,
| Top | Authors | Journals | Years | Keywords | Search | New | Comments |