Basic Proof Theory

12 évaluations par Goodreads

Langue : anglais

Edité par Cambridge University Press, 1996

0521572231 / 9780521572231

Vendeur : World of Books (was SecondSale), Montgomery, IL, Etats-UnisWorld of Books (was SecondSale)

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 20 décembre 2007

Livre relié

Etat: Occasion - Satisfaisant

EUR 55,98

 Frais de port gratuits 
Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

Ajouter au panier
Retours gratuits sous 30 jours

A propos de cet article

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

Titre
Basic Proof Theory
Auteur
A S Troelstra
Éditeur
Cambridge University Press
Année de publication
1996
État de l'article
Good
Reliure
Hardback
Langue
anglais
ISBN à 10 chiffres
0521572231
ISBN à 13 chiffres
9780521572231

World of Books (was SecondSale)

Montgomery, IL, Etats-Unis

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 20 décembre 2007

Frais d'expédition à l'intérieur de ce pays : Etats-Unis

Article4 à 12 jours ouvrés3 à 6 jours ouvrés
Premier articleEUR 0,00EUR 9,94
Les délais de livraison sont fixés par les vendeurs et varient en fonction du transporteur et du lieu. Les commandes transitant par les douanes peuvent être retardées et les acheteurs sont responsables de tous les droits ou frais associés. Les vendeurs peuvent vous contacter au sujet de frais supplémentaires afin de couvrir toute augmentation des coûts d'expédition de vos articles.

Modes de paiement

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay

Description de la boutique

Founded in 2002, World of Books is a leading online destination for buying and selling both preloved and new books, committed to making sustainable reading accessible to all. With a mission to help people read more and waste less, World of Books offers a huge range of affordable, high-quality books — giving both new and preloved titles a second life. The company also operates World of Books – Sell Your Books, an easy-to-use platform that allows customers to trade in unwanted books for cash, helping to keep books in circulation while promoting sustainability. As a Certified B Corp, World of Books is driven by a vision to become the world’s largest and most sustainable dedicated online bookstore. The company measures its success through the positive environmental impact it creates, the value it provides to customers, and its ability to operate profitably while supporting its sustainable mission …

Profil professionnel du vendeur

SBYB, Inc.

900 Knell Rd
Montgomery, IL Etats-Unis 60538