Fortæl dine venner om denne vare:
Space in Weak Propositional Proof Systems Bonacina 1st ed. 2017 edition
Har du en konto? Log ind
Tilføj til din iMusic ønskeseddel
eller
Space in Weak Propositional Proof Systems
Bonacina
This book considers logical proof systems from the point of view of their space complexity.
130 pages, 8 Illustrations, color; 7 Illustrations, black and white; XVII, 130 p. 15 illus., 8 illus
| Medie | Bøger Bog |
| Udgivet | 24. januar 2018 |
| ISBN13 | 9783319734521 |
| Forlag | Springer International Publishing AG |
| Antal sider | 130 |
| Mål | 150 × 220 × 20 mm · 390 g |
![Cover for Keren Epstein-Gilboa · The Breastfeeding Relationship and Children’s Social and Emotional Development (Hardcover bog) [2025 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Christopher M. Brown · The Democratization of Cuba (Hardcover bog) [2022 edition] (2026)](https://imusic.b-cdn.net/images/item/original/523/9783319660523.jpg?christopher-m-brown-2026-the-democratization-of-cuba-hardcover-bog&class=scaled&v=1594018037)
![Cover for T. S. Venkatesh · Strength of Materials: Volume I: Concepts, Problems & Solutions (Hardcover bog) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/846/9783031955846.jpg?t-s-venkatesh-2026-strength-of-materials-volume-i-concepts-problems-solutions-hardcover-bog&class=scaled&v=1778114493)
![Cover for Simone Cerreia-Vioglio · Principles of Mathematics for Economics (Paperback Bog) [1st ed. 2017 edition] (2026)](https://imusic.b-cdn.net/images/item/original/131/9783319447131.jpg?simone-cerreia-vioglio-2026-principles-of-mathematics-for-economics-paperback-bog&class=scaled&v=1606717221)
![Cover for Eva Maria Javier Delmo · Transplantation Medicine and Organ Donation in Germany: The Medical, Legal, Organizational and Ethical Frameworks (Hardcover bog) [2024 edition] (2026)](https://imusic.b-cdn.net/images/item/original/413/9783031494413.jpg?eva-maria-javier-delmo-2026-transplantation-medicine-and-organ-donation-in-germany-the-medical-legal-organizational-and-ethical-frameworks-hardcover-bog&class=scaled&v=1728706992)
![Cover for Patricio Aroca · Regional Business Cycles in Mexico, Brazil, and Chile: A Sub-National Analysis of Economic Fluctuations - SpringerBriefs in Regional Science (Paperback Bog) [2022 edition] (2026)](https://imusic.b-cdn.net/images/item/original/658/9783319988658.jpg?patricio-aroca-2026-regional-business-cycles-in-mexico-brazil-and-chile-a-sub-national-analysis-of-economic-fluctuations-springerbriefs-in-regional-science-paperback-bog&class=scaled&v=1546500016)
![Cover for Werner Kempf · Dermatopathology (Hardcover bog) [Third Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/711/9783031989711.jpg?werner-kempf-2026-dermatopathology-hardcover-bog&class=scaled&v=1774452112)
![Cover for Fan Lin · Handbook of Practical Immunohistochemistry: Frequently Asked Questions (Bog) [Fourth Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/070/9783031992070.jpg?fan-lin-2026-handbook-of-practical-immunohistochemistry-frequently-asked-questions-bog&class=scaled&v=1770516983)
![Cover for The Basic Principles of External Skeletal Fixation (N/A) [Third Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/173/9783031910173.jpg?2026-the-basic-principles-of-external-skeletal-fixation&class=scaled&v=1777926362)
![Cover for Dean Chatterjee · A Guide to Being a Team Doctor (Hardcover bog) [2025 edition] (2026)](https://imusic.b-cdn.net/images/item/original/856/9783031730856.jpg?dean-chatterjee-2026-a-guide-to-being-a-team-doctor-hardcover-bog&class=scaled&v=1774450709)
![Cover for Jose A. Mendez Dot · Atlas of Tropical Carbonates: As Exemplified by Facies of Venezuela: Past and Present (Hardcover bog) [2024 edition] (2026)](https://imusic.b-cdn.net/images/item/original/932/9783031254932.jpg?jose-a-mendez-dot-2026-atlas-of-tropical-carbonates-as-exemplified-by-facies-of-venezuela-past-and-present-hardcover-bog&class=scaled&v=1774641326)
![Cover for Reinhard Noll · Laser-Induced Breakdown Spectroscopy: Fundamentals and Applications (Hardcover bog) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/692/9783031853692.jpg?reinhard-noll-2026-laser-induced-breakdown-spectroscopy-fundamentals-and-applications-hardcover-bog&class=scaled&v=1774530627)