Recomienda este artículo a tus amigos:
Complexity of Proofs and Their Transformations in Axiomatic Theories - Translations of Mathematical Monographs American Mathematical Society
¿Tienes un perfil? Iniciar sesión
Recibe notificaciones sobre nuevos lanzamientos de American Mathematical Society
Nuestros clientes opinan:
Añadir a tu lista de deseos de iMusic
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
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 30 de octubre de 1993 |
| ISBN13 | 9780821845769 |
| Editores | American Mathematical Society |
| Páginas | 153 |
| Dimensiones | 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)
