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 problems in the philosophy and foundations of mathematics. In philosophy, one has been concerned with the...
    213,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  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 that took place in Caminha, Portugal, in September 2000. We aim to present some recent developments ...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  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 International Workshop, TYPES'99, organized by the ESPRIT Working Group 21900, in Lökeberg, Sweden, in June 1999...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  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 | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  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 | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  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 that took place in Caminha, Portugal, in September 2000. We aim to present some recent developments ...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  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 accepted for the TYPES '94 Workshop, held under the auspices of the ESPRIT Basic Research Action 64...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  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 Computer Science, CTCS '95, held in Cambridge, UK in August 1995.The 15 revised full papers included ...
    50,28 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  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 Working Group 21900 Types, which was held 12 - 16 June 1999 at L okeberg in the rural area north of G o...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  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 problems in the philosophy and foundations of mathematics. In philosophy, one has been concerned with the...
    242,98 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  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 problems in the philosophy and foundations of mathematics. In philosophy, one has been concerned with the...
    242,98 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>