,

Basic Proof Theory

Paperback EN 2000 9780521779111
€ 77,36
Levertijd ± 11 werkdagen
Gratis verzonden

Samenvatting

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.

Specificaties

ISBN13:9780521779111
Taal:EN
Bindwijze:Paperback
Aantal pagina's:432

Lezersrecensies

Wees de eerste die een lezersrecensie schrijft!

Managementboek Top 100

€ 77,36
Levertijd ongeveer 11 werkdagen
Gratis verzonden

Rubrieken

Producten

    Auteurs

      Trefwoorden

        Artikelen

          Basic Proof Theory