Name: Basic Proof Theory
Price: 596.95 DKK
Availability: InStock
Author: A. S. (Universiteit van Amsterdam) Troelstra
ISBN: 9780521779111

Basic Proof Theory af A. S. (Universiteit van Amsterdam) Troelstra

Du sparer 0% ift. normalprisen Spar 0%

Paperback
8-11 hverdage
596,95 kr.

Bag om Basic Proof Theory

This is an introduction to the basic ideas of structural proof theory. 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.

Vis mere

Sprog:
Engelsk

ISBN:
9780521779111

Forlag:
Cambridge University Press

Indbinding:
Paperback

Sideantal:
432

Udgivet:
27. Juli 2000

Udgave:
2

Størrelse:
153x229x26 mm.

Vægt:
642 g.

Leveringstid: 8-11 hverdage.
Forventet levering: 12. Oktober 2024

På lager

Normalpris

596,95 kr. + Fragt
~~596,95 kr.~~

Medlemspris

546,95 kr.

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Bag om A. S. (Universiteit van Amsterdam) Troelstra

Vis alle bøger af A. S. (Universiteit van Amsterdam) Troelstra

Beskrivelse af Basic Proof Theory

This is an introduction to the basic ideas of structural proof theory. 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.

Brugerbedømmelser af Basic Proof Theory

Andre købte også..

Find lignende bøger

Bogen Basic Proof Theory findes i følgende kategorier:

Business og læring > Computer og IT

Basic Proof Theory - A. S. (Universiteit van Amsterdam) Troelstra - Bog

Bag om A. S. (Universiteit van Amsterdam) Troelstra

Beskrivelse af Basic Proof Theory

Brugerbedømmelser af Basic Proof Theory

Gør som tusindvis af andre bogelskere