Filtrera

Ämne
  • (6)
  • (2)
  • (4)
  • (2)
Format
  • (1)
  • (2)
  • (5)
Leveranstid
  • (2)

Böcker av Peter Dybjer

Sökningen gav 8 träffar.

Sortering:
  1. Types for Proofs and Programs

    av Thierry Coquand, Peter Dybjer, Bengt Nordstroem, Jan Smith

    Häftad, Engelska, 2000-12-01
    889
    Skickas inom 10-15 vardagar.
  2. Applied Semantics

    av Gilles Barthe, Peter Dybjer, Luis Pinto, Joao Saraiva

    Häftad, Engelska, 2002-08-01
    1259
    Skickas inom 10-15 vardagar.
  3. Types for Proofs and Programs E-bok

    av Thierry Coquand, Peter Dybjer, Bengt Nordstrom, Jan Smith

    E-bok, Engelska, 2003-07-31
    799
    Laddas ned direkt
  4. Applied Semantics E-bok

    av Gilles Barthe, Peter Dybjer, Luis Pinto, Joao Saraiva

    E-bok, Engelska, 2003-08-02
    1139
    Laddas ned direkt
  5. Category Theory and Computer Science

    av David H Pitt, D E Rydeheard, Peter Dybjer, Andrew M Pitts, Axel Poigne

    Häftad, Engelska, 1989-08-01
    569
    Skickas inom 10-15 vardagar.
  6. Types for Proofs and Programs

    av Peter Dybjer, Bengt Nordstroem, Jan Smith

    Häftad, Engelska, 1995-10-01
    759
    Skickas inom 10-15 vardagar.
  7. Epistemology versus Ontology

    av Sten Lindstrom, Peter Dybjer, Erik Palmgren, B G Sundholm

    Inbunden, Engelska, 2012-07-11
    1929
    Skickas inom 3-6 vardagar.
  8. Epistemology versus Ontology

    av Sten Lindstrom, Peter Dybjer, Erik Palmgren, B G Sundholm

    Häftad, Engelska, 2014-08-09
    1609
    Skickas inom 10-15 vardagar.