Terug Terug

Basic Proof Theory Series Number 43: Basic Proof Theory

Name: Basic Proof Theory
Author: Helmut Schwichtenberg

Auteur: A. S. Troelstra

Taal: Engels

Afbeeldingen

Inkijkexemplaar

Artikel vergelijken

Vergelijk met andere artikelen

Bekijk nu

Uitgever: Cambridge University Press

Auteur: A. S. Troelstra Helmut Schwichtenberg

Co-auteur: Troelstra, A.S. Helmut Schwichtenberg A. S. Troelstra

Engels
Paperback
9780521779111
27 juli 2000
432 pagina's

Alle productspecificaties

Samenvatting

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.

Productspecificaties

Inhoud

Taal: en
Bindwijze: Paperback
Oorspronkelijke releasedatum: 27 juli 2000
Aantal pagina's: 432
Illustraties: Nee

Betrokkenen

Hoofdauteur: A. S. Troelstra
Tweede Auteur: Helmut Schwichtenberg
Co Auteur: A. S. Troelstra
Hoofdredacteur: C. J. Van Rijsbergen
Tweede Redacteur: S. Abramsky
Co Redacteur: P. H. Aczel
Hoofduitgeverij: Cambridge University Press

Overige kenmerken

Editie: 2
Extra groot lettertype: Nee
Product breedte: 154 mm
Product hoogte: 23 mm
Product lengte: 227 mm
Studieboek: Ja
Verpakking breedte: 154 mm
Verpakking hoogte: 222 mm
Verpakking lengte: 227 mm
Verpakkingsgewicht: 595 g

EAN

EAN: 9780521779111

Je vindt dit artikel in

Categorieën: Wetenschap & Natuur

Computers & Informatica

Computertechnologie

Wiskunde

Wiskunde voor computerwetenschappers

Grondslagen van de wiskunde

Wiskundige logica

Boeken
Beschikbaarheid: Leverbaar
Taal: Engels
Boek, ebook of luisterboek?: Boek
Studieboek of algemeen: Studieboeken

Reviews

Nog geen reviews

Hoe controleren en plaatsen wij reviews? Hoe controleren en plaatsen wij reviews?

Negatief, positief, neutraal: we zetten een review altijd online. We controleren wel eerst of ’ie voldoet aan onze reviewvoorwaarden en niet nep is. We controleren ook of ’ie is geschreven door iemand die het artikel heeft gekocht via bol.com en zetten dit er dan bij. De controles gebeuren automatisch, al kijken er soms mensen mee. Bol.com betaalt niet voor reviews. Als een reviewer door een andere partij is vergoed, staat dit in de review zelf.