Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Basic Proof Theory

Name: Basic Proof Theory
Brand: Cambridge University Press
SKU: 04095301
Price: 68.89 EUR
Availability: InStock
Author: Anne S. Troelstra
ISBN: 9780521779111

Anne S. Troelstra

Lingua

Inglese

Libro In brossura

Codice Libristo: 04095301

Casa editrice Cambridge University Press, luglio 2000

This introduction to the basic ideas of structural proof theory contains a thorough discussion and c... Descrizione completa

Codice Libristo: 04095301

169 b

68.89 €

Magazzino esterno Inviamo tra 14-21 giorni

Fino a 30 giorni per il reso

Potrebbe interessarti anche

Modal Logic Patrick Blackburn

In brossura

125.09 €

Mathematical Logic for Computer Science Mordechai Ben-Ari

In brossura

63.19 €

Introduction to Proof Theory Mancosu

In brossura

36.29 €

Mathematics for Computer Scientists Peter Hartmann

In brossura

78.89 €

Modern Graph Theory Bela Bollobas

In brossura

51.59 €

English Tigrigna Dictionary Abdel

In brossura

49.89 €

Logical Methods Roger Antonsen

In brossura

47.49 €

Type Theory and Formal Proof Rob Nederpelt

Rigido

101.29 €

Categories for Software Engineering Jose Luiz Fiadeiro

In brossura

53.79 €

EDF - Electricite de France Eric Tabuchi

In brossura

31.49 €

Involutive Category Theory Donald Yau

In brossura

64.49 €

English Pronunciation Dictionary for Hindi Speakers Gadepally Kameswara Subbarayudu

In brossura

18.10 €

Shadow in the Glass JJA Harwood

In brossura

8.69 €

Twilight of Democracy Anne Applebaum

In brossura

12.99 €

Wife Boland Shalini Boland

In brossura

11.99 €

Rome Statute of the International Criminal Court Kai Ambos

Rigido

441.19 €

Quantum Maria Hammarblad

In brossura

6.29 €

Appreciations with an Essay on Style Walter Pater

In brossura

28.00 €

Paste Jewels John Kendrick Bangs

Rigido

33.30 €

Collected Breece D'J Pancake: Stories, Fragments, Letters BREECE D'J PANCAKE

Rigido

19.69 €

Oxford Textbook on Criminology Steve Case

In brossura

77.59 €

Tableau For Dummies, 2nd Edition Consumer Dummies

In brossura

27.49 €

New Ceramics: Special Effect Glazes Linda Bloomfield

In brossura

27.99 €

Turkey Constitution and Citizenship Laws Handbook: Strategic Information and Basic Laws Inc Ibp

In brossura

82.49 €

This 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.