Fortell venner om denne varen:
Space in Weak Propositional Proof Systems Ilario Bonacina Softcover reprint of the original 1st ed. 2017 edition
Pris
NOK 519
Bestillingsvarer
Forventes levert 10. - 18. sep
Få varsel om nye utgivelser fra Ilario Bonacina
Legg til iMusic ønskeliste
eller
Space in Weak Propositional Proof Systems
Ilario 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
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 7. juni 2019 |
| ISBN13 | 9783319892498 |
| Utgivere | Springer International Publishing AG |
| Antall sider | 130 |
| Mål | 150 × 220 × 10 mm · 217 g |
| Språk | Tysk |
![Cover for Keren Epstein-Gilboa · The Breastfeeding Relationship and Children’s Social and Emotional Development (Innbunden bok) [2025 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Transmission Electron Microscopy: The Companion Volume (Pocketbok) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/916/9783031807916.jpg?2027-transmission-electron-microscopy-the-companion-volume-pocketbok&class=scaled&v=1780320082)
![Cover for Christopher M. Brown · The Democratization of Cuba (Innbunden bok) [2022 edition] (2027)](https://imusic.b-cdn.net/images/item/original/523/9783319660523.jpg?christopher-m-brown-2027-the-democratization-of-cuba-innbunden-bok&class=scaled&v=1594018037)
![Cover for Daniel Schatz · Sweden’s Relations with Israel and the Palestinians: An Untold History (Innbunden bok) [2024 edition] (2026)](https://imusic.b-cdn.net/images/item/original/321/9783031720321.jpg?daniel-schatz-2026-sweden-s-relations-with-israel-and-the-palestinians-an-untold-history-innbunden-bok&class=scaled&v=1774494645)
![Cover for Musculoskeletal Imaging (N/A) [Third Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/913/9783031668913.jpg?2026-musculoskeletal-imaging&class=scaled&v=1782137130)
![Cover for Keratoprostheses: Overcoming Corneal Blindness (Innbunden bok) [2025 edition] (2026)](https://imusic.b-cdn.net/images/item/original/906/9783031770906.jpg?2026-keratoprostheses-overcoming-corneal-blindness-innbunden-bok&class=scaled&v=1774452309)
![Cover for Simone Cerreia-Vioglio · Principles of Mathematics for Economics (Pocketbok) [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-pocketbok&class=scaled&v=1606717221)
![Cover for Reinhard Noll · Laser-Induced Breakdown Spectroscopy: Fundamentals and Applications (Innbunden bok) [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-innbunden-bok&class=scaled&v=1774530627)
![Cover for T. S. Venkatesh · Strength of Materials: Volume I: Concepts, Problems & Solutions (Innbunden bok) [Second Edition 2027 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-innbunden-bok&class=scaled&v=1778114493)
![Cover for Neculai Andrei · Modern Numerical Nonlinear Optimization - Springer Optimization and Its Applications (Innbunden bok) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/936/9783031946936.jpg?neculai-andrei-2026-modern-numerical-nonlinear-optimization-springer-optimization-and-its-applications-innbunden-bok&class=scaled&v=1774528650)
![Cover for Peter C. Hill · Measures of Religiosity and Spirituality (Bok) [2024 edition] (2026)](https://imusic.b-cdn.net/images/item/original/431/9783031483431.jpg?peter-c-hill-2026-measures-of-religiosity-and-spirituality-bok&class=scaled&v=1780099572)
![Cover for Jose A. Mendez Dot · Atlas of Tropical Carbonates: As Exemplified by Facies of Venezuela: Past and Present (Innbunden bok) [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-innbunden-bok&class=scaled&v=1774641326)