Tell your friends about this item:
Complexity of Proofs and Their Transformations in Axiomatic Theories - Translations of Mathematical Monographs American Mathematical Society
Do you have a profile? Log in
Get notified about new American Mathematical Society releases
Our customers say:
Add to your iMusic wish list
Complexity of Proofs and Their Transformations in Axiomatic Theories - Translations of Mathematical Monographs
American Mathematical Society
Intends to develop the tool of logical deduction schemata and use it to establish upper and lower bounds on the complexity of proofs and their transformations in axiomatized theories.
153 pages
| Media | Books Hardcover Book (Book with hard spine and cover) |
| Released | October 30, 1993 |
| ISBN13 | 9780821845769 |
| Publishers | American Mathematical Society |
| Pages | 153 |
| Dimensions | 150 × 220 × 20 mm · 510 g |
![Cover for American Mathematical Society · Runs and Patterns in Probability: Selected Papers - Mathematics and Its Applications (Hardcover Book) [Annotated edition] (1994)](https://imusic.b-cdn.net/images/item/original/346/9780792328346.jpg?american-mathematical-society-1994-runs-and-patterns-in-probability-selected-papers-mathematics-and-its-applications-hardcover-book&class=scaled&v=1425309962)
![Cover for American Mathematical Society · Theorie Des Fonctions Algebriques De Deux Variables Independantes, Volume I & II - Chelsea Publications (Hardcover Book) [2nd Ed. edition] (1971)](https://imusic.b-cdn.net/images/item/original/484/9780828402484.jpg?american-mathematical-society-1971-theorie-des-fonctions-algebriques-de-deux-variables-independantes-volume-i-ii-chelsea-publications-hardcover-book&class=scaled&v=1543621852)
![Cover for Alex Kasman · Glimpses of Soliton Theory: The Algebra and Geometry of Nonlinear PDEs - Student Mathematical Library (Paperback Book) [Second edition] (2023)](https://imusic.b-cdn.net/images/item/original/627/9781470472627.jpg?alex-kasman-2023-glimpses-of-soliton-theory-the-algebra-and-geometry-of-nonlinear-pdes-student-mathematical-library-paperback-book&class=scaled&v=1741190549)
