Profisuche

p dybjer

Grid   List

  1. Epistemology versus Ontology

    Epistemology versus Ontology

    P. Dybjer
    Springer Netherlands
    Ebook
    Sofort lieferbar

    This book brings together philosophers, mathematicians and logicians to penetrate important probl...

    213,99 €
    Alle Preise inkl. MwSt
  2. Applied Semantics

    Applied Semantics

    Gilles Barthe
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book is based on material presented at the international summer school on Applied Semantics ...

    53,49 €
    Alle Preise inkl. MwSt
  3. Types for Proofs and Programs

    Types for Proofs and Programs

    Thierry Coquand
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the thoroughly refereed post-workshop proceedings of the Third Internationa...

    53,49 €
    Alle Preise inkl. MwSt
  4. Semantics and Logics of Computation

    Semantics and Logics of Computation

    Andrew M. Pitts
    Cambridge University Press
    Taschenbuch
    Bezug 11-15

    Summer school lecture courses on modern logic and computation are presented here.

    70,29 €
    Alle Preise inkl. MwSt | zzgl. Versand
  5. Semantics and Logics of Computation

    Semantics and Logics of Computation

    A. Pitts
    Cambridge University Press
    Buch
    Bezug 11-15

    Summer school lecture courses on modern logic and computation are presented here.

    184,47 €
    Alle Preise inkl. MwSt | zzgl. Versand
  6. Applied Semantics

    Applied Semantics

    Gilles Barthe
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15

    This book is based on material presented at the international summer school on Applied Semantics ...

    53,49 €
    Alle Preise inkl. MwSt | zzgl. Versand
  7. Types for Proofs and Programs

    Types for Proofs and Programs

    Peter Dybjer
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15

    This book presents a strictly refereed collection of revised full papers selected from the papers...

    53,49 €
    Alle Preise inkl. MwSt | zzgl. Versand
  8. Category Theory and Computer Science

    Category Theory and Computer Science

    David H. Pitt
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15

    This book presents the proceedings of the Sixth International Conference on Category Theory and C...

    50,28 €
    Alle Preise inkl. MwSt | zzgl. Versand
  9. Types for Proofs and Programs

    Types for Proofs and Programs

    Thierry Coquand
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15

    This book contains a selection of papers presented at the third annual workshop of the Esprit Wor...

    53,49 €
    Alle Preise inkl. MwSt | zzgl. Versand
  10. Epistemology versus Ontology

    Epistemology versus Ontology

    P. Dybjer
    Springer Netherlands, Springer Netherlands
    Buch
    Print on Demand

    This book brings together philosophers, mathematicians and logicians to penetrate important probl...

    242,98 €
    Alle Preise inkl. MwSt | zzgl. Versand
  11. Epistemology versus Ontology

    Epistemology versus Ontology

    P. Dybjer
    Springer Netherlands, Springer Netherlands
    Taschenbuch
    Print on Demand

    This book brings together philosophers, mathematicians and logicians to penetrate important probl...

    242,98 €
    Alle Preise inkl. MwSt | zzgl. Versand
  1. 1