Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43)
Description
This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of first-order logic formalization. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic, logic programming theory, category theory, modal logic, linear logic, first-order arithmetic and second-order logic. In each case the authors illustrate the methods in relatively simple situations and then apply them elsewhere in much more complex settings. For the new edition, they have rewritten many sections to improve clarity, added new sections on cut elimination, and included solutions to selected exercises. In general, the only prerequisite is a standard course in first-order logic, making the book ideal for graduate students and beginning researchers in mathematical logic, theoretical computer science and artificial intelligence.
Price history chart & currency exchange rate
Customers also viewed

$10.61
Terrifier - Art the Clown 【Horror】 Design (2016) T-Shirt animal print shirt for girls Female clothing cute clothes Women tops
aliexpress.ru
$16.92
2024 PENRITH PANTHERS Мужская Альтернативная Регби Джерси размер S--5XL (печать имя и номер)
aliexpress.ru
$19.70
MUZIWIG 18 inch American Dolls Hair Wig Gradient Curly Hair DIY Doll Accessories High Resistant Wavy Wig For DIY Doll
aliexpress.com
$38.99
Tk103b тревожный локатор слежения за транспортными средствами, трекеры позиционирования автомобиля, микро позиционирование
aliexpress.ru
$27.55
Строительные блоки для мальчиков, ферма, животные, игрушки Монтессори, подарок на Рождество, день рождения, MOC, детали
aliexpress.ru
$12.89
Современная настольная дорожка с зелеными переплетениями, вышитая настольная дорожка с кисточкой, Настольная Крышка для дома, отеля, свадьбы, вечеринки, Декоративная скатерть
aliexpress.ru
$1,512.00
Новый лазерный аппарат для удаления татуировок и пигментации с длиной волны нм и длиной нм
aliexpress.ru
$5.78
Elegant Lady Personality Women O-Neck Sweatshirt Aesthetics Harajuku Womens Clothing Long Sleeve Warm Hoodies For Teen Girls
aliexpress.com
$2.32
Трендовые модные простые серьги с подвеской из искусственного жемчуга и пряжкой для ушей, легкие роскошные серьги
joom.ru
$230.00
Палатка Sprsun автоматическая для отдыха на 4-6 человек, водонепроницаемый двухслойный тент, защита от УФ излучения, легкая в установке
aliexpress.ru
$1.40
High Elastic Keychains Metal Easy Pull Buckle Anti Theft and Anti Loss Telescopic Key Chain Ring Outdoor Camping Accessories
aliexpress.com
$30.38
Motorbike Disc Brake Rotor Disk For Suzuki AN BURGMAN 250 1998-2002 400 1999-2000 Rear-L / AN BURGMAN 400 2001-2002 Rear-R
aliexpress.com
$17.03
Ручка-гироскоп с защитой от утечки, светящаяся игрушка, мигающая ручка-гироскоп, креативная офисная Шариковая ручка для декомпрессии, враща...
aliexpress.ru
$293.16
Материнская плата LGA1151 B250 для майнинга, 2 слота памяти DDR4 8 ГБ, с ЦПУ G3900, адаптер 12X ver009s, набор плат для майнинга, аксессуар для BTC
aliexpress.com
$20.00
5 шт. 100% новый и оригинальный реальный фото CH365 CH365P PQFP80 SMD Универсальный интерфейсный чип, подключенный к шине PCI
aliexpress.ru
$140.20
Ou Ruizhe Narrow body narrow clip folder storage 4-wheeled trolley removable shelves bathroom storage rack kitchen finishing rack
joybuy.com
$15.00
Purple Flowers White Corridor Wall Mural Custom 3D Photo Wallpaper For Walls Modern Minimalist Creative Bedding Room TV Backdrop
joybuy.com$14.99
51pcs Plastic T Wall Floor Ceramic Leveler Tools Tile Leveling System Kits For Tile Spacers
banggood.com