Basic Proof Theory 1
bokomslag Basic Proof Theory
Vetenskap & teknik

Basic Proof Theory

Anne S Troelstra • A S Troelstra • Schwich

Pocket

619:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 432 sidor
  • 2000
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.
  • Författare: Troelstra, Anne S;Troelstra, A S;Schwich
  • Format: Pocket
  • ISBN: 9780521779111
  • Språk: Engelska
  • Antal sidor: 432
  • Utgivningsdatum: 2000-07-27
  • Förlag: Cambridge University Press

Du kanske gillar

  1. bokomslag Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy

    Proof And Computation: Digitization I...

    Peter Schuster & Helmut S Klaus Mainzer, Peter Schuster & Helmut S Klaus Mainzer, Klaus Mainzer, Peter Michael Schuster, Helmut Schwichtenberg

    Inbunden

    1969:-
  2. bokomslag Extern redovisning : övningsbok

    Extern redovisning : övningsbok

    Christer Johansson • Rolf Johansson •...

    Häftad

    619:-
  3. bokomslag Fysiologi

    Fysiologi

    Jan Lännergren • Håkan Westerblad • M...

    Häftad

    619:-
  4. bokomslag Constructivism in Mathematics, Vol 2

    Constructivism in Mathematics, Vol 2

    A S Troelstra, D Van Dalen, A S Troelstra, D Van Dalen

    1039:-
  5. bokomslag Introduktion till kriminologi. 1, Brottslighetens omfattning, karaktär och orsaker

    Introduktion till kriminologi. 1, Bro...

    Jerzy Sarnecki • Christoffer Carlsson

    Danskband/flex

    619:-
  6. bokomslag Rättsinformatik : juridiken i det digitala informationssamhället

    Rättsinformatik : juridiken i det dig...

    Cecilia Magnusson Sjöberg • Katarina ...

    Danskband/flex

    619:-
  7. bokomslag Constructivism in Mathematics, Vol 1

    Constructivism in Mathematics, Vol 1

    A S Troelstra, D Van Dalen, A S Troelstra, D Van Dalen, Anne S Troelstra

    919:-
  8. bokomslag Barn med funktionsnedsättning

    Barn med funktionsnedsättning

    LAGERKVIST, BENGT & LINDGREN, CARL (RED

    Häftad

    619:-
  9. bokomslag Aspects of Praematurity and Dysmaturity

    Aspects of Praematurity and Dysmaturity

    J H P Jonxis, H K A Visser, J A Troelstra, J H P Jonxis, H K A Visser

    Pocket

    749:-
  10. bokomslag Analys i en variabel

    Analys i en variabel

    Lars-Christer Böiers • Arne Persson

    Inbunden

    619:-

Andra av samma författare

  1. bokomslag Constructivism in Mathematics, Vol 1

    Constructivism in Mathematics, Vol 1

    A S Troelstra, D Van Dalen, A S Troelstra, D Van Dalen, Anne S Troelstra

    919:-
  2. bokomslag Constructivism in Mathematics, Vol 2

    Constructivism in Mathematics, Vol 2

    A S Troelstra, D Van Dalen, A S Troelstra, D Van Dalen

    1039:-
  3. bokomslag Principles of Intuitionism

    Principles of Intuitionism

    Anne S Troelstra

    Pocket

    369:-
  4. bokomslag Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

    Metamathematical Investigation of Int...

    Anne S Troelstra

    Pocket

    939:-