Logical Foundations of Proof Complexity (Perspectives in Logic)
Description
This book treats bounded arithmetic and propositional proof complexity from the point of view of computational complexity. The first seven chapters include the necessary logical background for the material and are suitable for a graduate course. Associated with each of many complexity classes are both a two-sorted predicate calculus theory, with induction restricted to concepts in the class, and a propositional proof system. The result is a uniform treatment of many systems in the literature, including Buss's theories for the polynomial hierarchy and many disparate systems for complexity classes such as AC0, AC0(m), TC0, NC1, L, NL, NC, and P.
Price history chart & currency exchange rate
Customers also viewed

$10.99
Country Venezuela Printing Stitching Color Hoodies Men's Sportswear Casual Tracksuit Summer Sweatshirts Hooded Pullovers Tops
aliexpress.com
$22.45
Преобразователь адаптера батареи для черного литиевого аккумулятора 20 в Deckr для Hilti 22 в, литий-ионные аккумуляторы, беспроводные инструменты
aliexpress.com
$54.46
TPSAADE Brown Trajes de hombre Business Men Suits for Wedding Groom Tuxedo Double Breasted Vest Best Man Outfits 3 Pieces
aliexpress.com
$840.86
QS-B-1500 steam vacuum ironing table for jeans fabric vacuum blowing ironing table
aliexpress.com
$1,098.02
Sexy Wedding Dresses Mermaid Strapless Detachable Train Crystal Beaded Diamond Luxury Formal Bridal Gowns Custom Size DZ60
aliexpress.com
$25.56
Stoßfestes Silikon mit verstärkten Ecken Hülle Herz 1" für Tecno Spark 10 Pro", Schwarz
endorphone.com.ua
$327.36
Автомагнитола для Volkswagen Golf Mk 4 2004-2008, мультимедийный видеоплеер, навигация GPS, Android 13,0, 2din, 8 ГБ + 128 Гб, DVD HU
aliexpress.ru
$140.78
Косплей магазин Аниме игра Puella Magi Madoka Magica церемониальное платье карнавальный костюм ролевой косплей полный комплект
aliexpress.ru
$22.11
Мотоциклетные аксессуары, демпфер рулевого колеса, монтажный комплект кронштейнов для Honda CB650R CB 650R CB650 R CB 650 R 2018 2019 2020 2021
aliexpress.ru
$0.84
Виниловые наклейки Three Ratels FC495 для Astar Auto Moto, велосипедный автомобильный шлем, гоночная тюнинг-наклейка, автомобильный Стайлинг
aliexpress.ru
$6.46
Женские кроссовки на толстой подошве, Белые Повседневные кроссовки на весну-лето, 2022
aliexpress.ru
$3.28
Аксессуары для мотоциклов, идентификационная карта для водителя мотоцикла Suzuki GSXS 1000 GSXS1000 S1000 GSX S1000
aliexpress.ru
$3.62
Мини-юбки Kawaii faldas Летняя женская юбка шорты с высокой талией трапециевидная Студенческая клетчатая плиссированная юбка женская Милая танцевальная юбка для девушек
aliexpress.ru
$7.19
10 шт. антистрессовый мяч, мини-игрушка-сжималка, сжимаемая кошка, милая кукла-кавайка, сжимаемая стрейчевая игрушка-антистресс для исцеления животных, ручная игрушка-антистресс
aliexpress.ru
$19.41
Мужская Летняя тонкая новая куртка, Солнцезащитная одежда, куртка с длинными рукавами, дышащая удобная молодежная энергия, популярный товар от солнца
aliexpress.ru
$4.57
PandaHall Glass Charms, with Rose Gold Plated Brass Findings, Long-Lasting Plated, Lead Free & Nickel Free & Cadmium Free, Faceted Flat..., Multicolor
pandahall.com
$1.40
PandaHall Ion Plating(IP) 304 Stainless Steel Jewelry Sets, Cable Chain Bracelet and Necklaces, with Enamel, Golden, Light Sky Blue, 19.6...
pandahall.com
$48.64
Casual Denim Patchwork Women Trousers High Waist Hit Color Big Size Wide Leg Pants Female Fashion Spring 210521, Blue
dhgate.com
$14.51
Slim Soft Knitted Hoodies Cardigan2021Fashion Ladies Elegant Bomb Sweatshirts Casual Female Knitwear Vintage Women Chic Hoodies
aliexpress.com
$6.79
Kids Girls Long Sleeves Swimsuits Swimwear Outfits Child Beachwear Swimming Sets Tops and Attached Skirt Pants Set Bathing Suits
aliexpress.com
$7.58
2022 Pro Cycling Jersey Breathable Bicycle Clothing Ropa Ciclismo Men Summer Quick-drying Bike Wear Clothes Triathlon Sweatshirt
aliexpress.com
$28.48
Laminate Wood Flooring Installation Kit With 40 Spacers, Tapping Block, Widen Pull Bar, Knee Pads And Rubber Mallet
aliexpress.com
$7.65
Симпатичная мультяшная креативная красочная Радужная Тигровая плюшевая кукла автомобиль, детская подушка, милая игрушка для подруги, пода...
aliexpress.ru
$10.50
Акриловый мультяшный брелок juютсу Kaisen, 8 шт./Лот, аксессуары для ключей, аниме брелок Vol.4
aliexpress.com
$29.56
Women's Bodysuit White Wide Strap Rompers Jumpsuits Fashion Sexy Sheath Skinny Summer Streetwear Outfits Overalls
aliexpress.com
$154.53
LK-BL2205F 220 В бесщеточный двигатель постоянного тока, драйвер высокого напряжения, бесщеточный двигатель постоянного тока, контроллер двигате...
aliexpress.com
$6.17
1 Er-11A 5mm Cnc Milling Motor Spindle Shaft Chuck Chuck Extension Rod Bracket Tool Holder
aliexpress.com
$71.01
Компрессор кондиционера 2.5DCI RENAULT MASTER 98-10 (РЕНО МАСТЕР) (8200795534, 8200763772, 81.06.02021R,
bigl.ua
$26.88
FTLZZ Spring Autumn Women Fashion Fake Two Pieces Single Breasted Blazers Lady Casual Loose Long Sleeve High Street Jacket Coat
aliexpress.com
$24.66
2021 Women Summer Romantic Tulle Fairy Dress New Stand Collar Beading Tassels Soild Ruffles Mesh Dress Cute Mid Dress Vestidos
aliexpress.com
$1.06
Пергамент для запекания 6м Мастер Хаус Запекай с силиконизированным покрытием, Белый, Пергамент для запекания 6м Мастер Хаус Запекай с силиконизированным покрытием
stroylandiya.ru
$1.88
MEETSOFT серьги-подвески из стерлингового серебра 925 пробы для предотвращения аллергии для женщин Модный дизайн маленькая звезда кисточка ювел...
aliexpress.ru
$13.78
new fashion 2020 real silk scarf for womens printed embroidery spring winter shawl scarf scarves size 180x70cm 7 colors, Blue;gray
dhgate.com
$22.93
HTMC-5 Egg Incubator Controller Set DIY Mini Incubator Controller Constant Temperature Eggs Incubation Box Accessories
aliexpress.com