|
|
libcats.org
Basic proof theoryA. S. Troelstra, H. SchwichtenbergThis introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order logic. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic (intuitionistic as well as classical); the theory of logic programming; category theory; modal logic; linear logic; first-order arithmetic and second-order logic. In each case the aim is to illustrate the methods in relatively simple situations and then apply them elsewhere in much more complex settings. There are numerous exercises throughout the text. 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. For the new edition, many sections have been rewritten to improve clarity, new sections have been added on cut elimination, and solutions to selected exercises have been included.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Погреба для приусадебных участковАвтор: ПроскуринКатегория: Строительство, Индивидуальные Жилые Дома Ремонт
Размер книги: 1.75 Mb
ASM Handbook Volume 1: Properties and Selection: Irons, Steels, and High-Performance Alloys (06181)Автор: Rudolf Steiner, Автор: American Society for Metals
Размер книги: 32.27 Mb
IN SPITE OF THE GODS: THE STRANGE RISE OF MODERN INDIAАвтор: EDWARD LUCEКатегория: cultures_languages
Размер книги: 5.57 Mb
Middle Voice: A Comparative Study in the Syntax-Semantics Interface of German (Linguistik Aktuell Linguistics Today, LA 50)Автор: Markus SteinbachКатегория: Образование
Размер книги: 3.37 Mb
Amino Acids, Peptides and Proteins in Organic Chemistry 1: Origins and Synthesis of Amino Acids (Amino Acids, Peptides and Proteins in Organic Chemistry (VCH))Автор: Andrew B. Hughes
Размер книги: 5.45 Mb
Die ''Nervosität der Juden'' und andere Leiden an der Zivilisation : Konstruktionen des Kollektiven und Konzepte individueller Krankheit im psychiatrischen Diskurs um 1900Автор: Céline Kaiser, Автор: Marie-Luise Wünsche, Автор: Christine Schaffrath (Hg).
Размер книги: 13.97 Mb
Российская полевая артиллерия 1382-1917 годыАвтор: С.ВойцеховичКатегория: КНИГИ, ВОЕННАЯ ИСТОРИЯ
Размер книги: 83.68 Mb
OECD Tax Policy Studies No. 02: Tax Burdens: Alternative MeasuresАвтор: OECD. Published by : OECD Publishing
Размер книги: 952 Kb
|
|
|