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

$24.82
Women s New Spring And Summer Fashion Classic V-neck Color Printing Sleeveless Long Dress XXXXL жёлтый
joom.ru
$197.27
Hasbro MARVEL Серія Marvel Legends Venom: Let There Be Carnage Колекція Carnage 6 дюймів (15см) Розмір фігурки F9009 Оригінальний продукт
joom.com
$6.88
Протектор для одягу для нагрудників для дорослих. Довгі нагрудники багаторазового використання, які можна прати, водонепроникна застібка червоний
joom.com
$4.08
Sealed Bucket Top Cover Drawstring Rain Covers Barrel Truck Accessories Chemical Water Tank
aliexpress.com
$12.09
Сумка на стойку для палатки, сумка для хранения на стойку для кемпинга, сверхпрочная Сумка-рулон на стойку для палатки, аксессуары, органайзер для прищепок для палатки и
aliexpress.ru
$40.22
Маленькие мешки для диванов для дома, балкона, Угловой стул, легкое Полосатое мультяшное сиденье, мягкая плюшевая ткань, диван для детской спальни
aliexpress.ru
$28.49
Автомобильный вытяжной вентилятор на солнечной батарее, Двойной источник питания, автомобильный оконный вентилятор, многофункциональный усилитель, установка, Охлаждающие вентиляторы
aliexpress.ru
$7.90
Женская однотонная зимняя шапка VISROVER из натурального кроличьего меха, 13 цветов, мягкая Осенняя шапка унисекс, популярная шапка, женские уличные теплые шапочки, подарок
aliexpress.ru
$39.99
Медный резак для хладагента, плоские медные круглые плоскогубцы, инструмент для охлаждения
aliexpress.ru
$9.01
8 шт., сменные шпули для триммера Bosch EasyGrassCut 23, 26, 18, 18-230, 18-260, 18-26
aliexpress.ru
$12.74
Многофункциональные плоскогубцы 7/9 дюйма, щипцы для зачистки, резак, Тяжелые плоскогубцы для проводов, диагональные плоскогубцы, ручные инструменты, ручные инструменты
aliexpress.ru
$15.68
Автомобильная фонарь с высоким креплением, задний третий тормоз, лампа стоп-сигнала для Nissan X-Trail Xtrail T31 2008 2009 2010 2011 2012
aliexpress.ru
$31.92
Задняя лампа заднего хода для транспортера T4 1990-2003, Задняя Тормозная лампа, корпус лампы без лампы 701945111
aliexpress.ru
$14.43
Бамбуковая деревянная тарелка для ювелирных изделий, кольцо, поднос для живого дисплея, тарелка для хранения сережек, стойка для ювелирных изделий, реквизит для демонстрации ювелирных изделий
aliexpress.ru
$17.74
Беспроводной модуль Bluetooth Flipsky 2,4G для инструмента VESC и VESC, электрический скейтборд для V4
aliexpress.ru
$10.73
Bottles Glass Spray Bottle Kitchen Glass Oil Pot Household Press-type Atomizing Oils Spray Bottle Olive Oil Edible Oils Spray
aliexpress.com
$3.37
matte matte velvet air lipstick pen bean paste milk tea color lipstick crayon lipstick student lipstick parity
fordeal.com
$20.01
nail gel 60ml uv builder art extension tips diy manicure tool kit sets square oval solid french coffin styles9497215, Red;pink
dhgate.com
$63.70
1s basketball shoes jumpman 1 pine green black men women sport sneaker galaxy court purple shattered backboard obsidian trainerlm5j
dhgate.com
$42.80
ailegogo new autumn winter women faux suede leather short jacket with belt streetwear moto biker female thick warm jacket outrunner j220727, Black
dhgate.com
$57.27
Women Wool Blend Suit Coat Single Button Rhinestone Decoration Simple Autumn Winter Lady Plaid Herringbone Pattern Blazer
aliexpress.com
$59.80
TOSEEK Mtb Carbon Handlebar Bicycle Handlebar 31.8*580-720/740/760mm Matt Black Handlebars For Mountain Bike Accessories
aliexpress.com
$10.79
Wpl Mn 1/24 Remote Control Car Full Metal Shock Absorber Upgrade Modified Model Toy Accessories
aliexpress.com
$23.10
TV Topbox Quad-core CPU 4K Resolution Wifi Network TV Media Player US/EU/UK/AU Plug Bluetooth-compatible 4.0
aliexpress.com
$13.29
LED Dynamic Turn Signal Light Sequential Blinker For Toyota Corolla Camry Prius Vios CHR Yaris Venza Avalon Altis Scion iM
aliexpress.com
$1.40
Ручки для Руля Мотоцикла, наконечники руля, ползунок для Suzuki RM 85 250 125 RMZ 250 450 RMX 450Z DRZ 400SM 400 SM DRZ400SM
aliexpress.com
$1,083.95
Посудомоечная машина Bosch Hygiene Dry Serie 4 SPS4HMI3FR, Hygiene Dry Serie 4 SPS4HMI3FR
techport.ru
$120.87
gurban festival amazon aliexpress spring/summer quilt hot sale aloe cotton sheets quilt cover pillowcase*2 four-piece bedding set
fordeal.com
$8.08
three dimensional cartoon gum baby molar stick baby deciduous molar brush turtle toothbrush
fordeal.com
$28.59
2021 summer new casual round neck pullover print short-sleeved t-shirt men's five-point sleeve sleeve t-shirt
fordeal.com
$17.15
slippers women's summer indoor non-slip bath mute home household floor soft bottom deodorant bathroom ladies summer sandals and slippers
fordeal.com
$7.69
Алюминиевый Сплав Держатель Бутылки Велосипеда Воды Дорога Горный Велосипед Чашка Чая Чайник Кронштейн Велосипедного Аксессуар
dx.com
$9.69
naruto gaara - japane animation soft cover vip, protective cover vip 11 12 pro xs maximum 8 7 6 6s plus x 5s se 2020 xr
dhgate.com
$59.48
yasuguoji streetwear spring slim fit men denim jacket men casual jeans jacket coat men's washed black cotton bomber jackets, Black;brown
dhgate.com
$43.89
masquerade jumpsuit batman baby rompers cosplay clothes new warm bebek tulum kids costume children novelty boys clothes 3pcs/set, Blue
dhgate.com