Grid   List

  1. Taschenbuch
    BOD - 5 Tage

    The lecture courses in this work are derived from the SERC 'Logic for IT' Summer School and Confe...

    69,88 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Taschenbuch
    BOD - 5 Tage

    The fundamental ideas concerning computation and recursion naturally find their place at the inte...

    94,70 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Buch
    BOD - 7 Tage

    The lecture courses in this work are derived from the SERC 'Logic for IT' Summer School and Confe...

    187,47 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Buch
    BOD - 7 Tage

    Driven by the question, 'What is the computational content of a (formal) proof?', this book studi...

    128,41 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1